{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## pomegranate: fast and flexible probabilistic modelling\n",
    "\n",
    "Author: Jacob Schreiber <br>\n",
    "Contact: <jmschreiber91@gmail.com>"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Fri Jan 10 2020 \n",
      "\n",
      "numpy 1.18.1\n",
      "scipy 1.4.1\n",
      "pomegranate 0.12.0\n",
      "\n",
      "compiler   : Clang 10.0.0 (clang-1000.11.45.5)\n",
      "system     : Darwin\n",
      "release    : 17.7.0\n",
      "machine    : x86_64\n",
      "processor  : i386\n",
      "CPU cores  : 4\n",
      "interpreter: 64bit\n"
     ]
    }
   ],
   "source": [
    "%matplotlib inline\n",
    "import time\n",
    "import pandas\n",
    "import random\n",
    "import numpy\n",
    "import matplotlib.pyplot as plt\n",
    "import seaborn; seaborn.set_style('whitegrid')\n",
    "import itertools\n",
    "\n",
    "from pomegranate import *\n",
    "\n",
    "random.seed(0)\n",
    "numpy.random.seed(0)\n",
    "numpy.set_printoptions(suppress=True)\n",
    "\n",
    "%load_ext watermark\n",
    "%watermark -m -n -p numpy,scipy,pomegranate"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "pomegranate is a probabilistic modeling library for Python that aims to be easy to use, flexible, and fast. It is easy to use because it maintains a consistent and minimal API that mirrors the scikit-learn API when possible. It is flexible because it allows complicated probabilistic models to be built from simpler ones by easily stacking components on top of each other. It is fast due to its Cython backend which allows for fast numerics and multi-threading without cluttering the interface. pomegranate was developed at the University of Washington with the generous support from the following organizations:\n",
    "\n",
    "<a href=\"https://escience.washington.edu/\">\n",
    "<img src=\"https://escience.washington.edu/wp-content/uploads/2015/10/eScience_Logo_HR.png\" width=\"50%\">\n",
    "</a>\n",
    "\n",
    "<a href=\"http://msdse.org/\">\n",
    "<img src=\"http://msdse.org/images/msdse.jpg\" width=\"50%\">\n",
    "</a>\n",
    "\n",
    "<a href=\"https://numfocus.org/\">\n",
    "<img src=\"https://numfocus.org/wp-content/uploads/2017/07/NumFocus_LRG.png\" width=\"30%\">\n",
    "</a>"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### The API\n",
    "\n",
    "One of the core tenant of pomegranate is that everything is fundamentally a probability distribution and should be treated the same way. Most people are familiar with simple probability distributions such as the normal or the uniform distribution. However, a mixture of many simple distributions is still a probability distribution because the density under it still adds up to 1. A hidden Markov model is still a probability distribution over sequences because the probability of all potential sequences must add up to 1. A Bayesian network is literally a probability distribution that has been factorized along a graphical structure, with a discrete Bayesian network factorizing a very large joint probability table and a linear Gaussian Bayesian network factorizing a multivariate Gaussian distribution that has many 0's in the inverse covariance matrix.\n",
    "\n",
    "A benefit of considering all methods as probability distributions is that it simplifies and unifies the API across all of the models. The common API is the following methods. Let's specify some distribution and take a look."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "model = NormalDistribution(5, 1)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***model.probability(X)*** and ***model.log_probability(X)***\n",
    "\n",
    "These methods return the probability of a single sample or a vector of probabilities if provided a vector of samples. This is equal to P(D|M) where D is the data and M is the model."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "[0.24197072 0.24197072 0.05399097]\n",
      "[-1.41893853 -1.41893853 -2.91893853]\n"
     ]
    }
   ],
   "source": [
    "print(model.probability([4., 6., 7.]))\n",
    "print(model.log_probability([4., 6., 7.]))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***model.sample(n=1)***\n",
    "\n",
    "This method will return a random sample from the probability distribution or a vector of random samples if n is set to be greater than 1."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "array([6.76405235, 5.40015721, 5.97873798, 7.2408932 , 6.86755799,\n",
       "       4.02272212, 5.95008842, 4.84864279, 4.89678115, 5.4105985 ])"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "model.sample(n=10)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***model.fit(X, weights=None, inertia=0.0, other arguments)***\n",
    "\n",
    "This method will fit the distribution to the data. For simple distributions and Bayesian networks this corresponds to weighted maximum likelihood estimates. For other compositional distributions such as hidden Markov models this corresponds to an iterative expectation-maximization allgorithm. Optionally, weights can be provided for each of the samples. Different models will have different arguments that can be specified as well."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{\n",
       "    \"class\" :\"Distribution\",\n",
       "    \"name\" :\"NormalDistribution\",\n",
       "    \"parameters\" :[\n",
       "        7.036955079959913,\n",
       "        2.0668514243367655\n",
       "    ],\n",
       "    \"frozen\" :false\n",
       "}"
      ]
     },
     "execution_count": 5,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "X = numpy.random.normal(7, 2, size=(100,))\n",
    "\n",
    "model.fit(X)\n",
    "model"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***model.summary(X, weights=None)***\n",
    "\n",
    "This method implements the first part of the fitting process, which is summarizing a batch of data down to its sufficient statistics and storing them. These sufficient statistics are additive and will be updated for each successive batch that's seen. The sufficient statistics can be reset either through a call to `from_summaries` or a call to `clear_summaries`. "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{\n",
       "    \"class\" :\"Distribution\",\n",
       "    \"name\" :\"NormalDistribution\",\n",
       "    \"parameters\" :[\n",
       "        7.036955079959913,\n",
       "        2.0668514243367655\n",
       "    ],\n",
       "    \"frozen\" :false\n",
       "}"
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "X = numpy.random.normal(8, 1.5, size=(100,))\n",
    "\n",
    "model.summarize(X)\n",
    "model"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***model.from_summaries(inertia=0.0)***\n",
    "\n",
    "This method implements the second part of the fitting process, which is using the stored sufficient statistics in order to update the model parameters."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{\n",
       "    \"class\" :\"Distribution\",\n",
       "    \"name\" :\"NormalDistribution\",\n",
       "    \"parameters\" :[\n",
       "        8.068146018374335,\n",
       "        1.4490322240381275\n",
       "    ],\n",
       "    \"frozen\" :false\n",
       "}"
      ]
     },
     "execution_count": 7,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "model.from_summaries()\n",
    "model"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***model.clear_summaries()***\n",
    "\n",
    "This method resets the sufficient statistics stored to the model."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{\n",
       "    \"class\" :\"Distribution\",\n",
       "    \"name\" :\"NormalDistribution\",\n",
       "    \"parameters\" :[\n",
       "        8.068146018374335,\n",
       "        1.4490322240381275\n",
       "    ],\n",
       "    \"frozen\" :false\n",
       "}"
      ]
     },
     "execution_count": 8,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "X = numpy.random.normal(3, 0.2, size=(100,))\n",
    "\n",
    "model.summarize(X)\n",
    "model.clear_summaries()\n",
    "model.from_summaries()\n",
    "model"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***Model.from_samples(distributions, n_components, X, weights=None)*** or ***Model.from_samples(X, weights=None)***\n",
    "\n",
    "This class method will initialize and then fit the parameters of a model to some data. This differs from the `fit` function in that the `fit` function will update the parameters of a pre-defined model whereas the `from_samples` method will initialize a model to data and return the best parameters given the data."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{\n",
       "    \"class\" :\"Distribution\",\n",
       "    \"name\" :\"NormalDistribution\",\n",
       "    \"parameters\" :[\n",
       "        5.878631757664192,\n",
       "        1.0120288481111088\n",
       "    ],\n",
       "    \"frozen\" :false\n",
       "}"
      ]
     },
     "execution_count": 9,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "X = numpy.random.normal(6, 1, size=(250, 1))\n",
    "\n",
    "model = NormalDistribution.from_samples(X)\n",
    "model"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{\n",
       "    \"class\" : \"GeneralMixtureModel\",\n",
       "    \"distributions\" : [\n",
       "        {\n",
       "            \"class\" : \"Distribution\",\n",
       "            \"name\" : \"NormalDistribution\",\n",
       "            \"parameters\" : [\n",
       "                5.901815709887363,\n",
       "                0.47865628749453537\n",
       "            ],\n",
       "            \"frozen\" : false\n",
       "        },\n",
       "        {\n",
       "            \"class\" : \"Distribution\",\n",
       "            \"name\" : \"NormalDistribution\",\n",
       "            \"parameters\" : [\n",
       "                5.175959799664007,\n",
       "                0.8774489898709738\n",
       "            ],\n",
       "            \"frozen\" : false\n",
       "        },\n",
       "        {\n",
       "            \"class\" : \"Distribution\",\n",
       "            \"name\" : \"NormalDistribution\",\n",
       "            \"parameters\" : [\n",
       "                6.9902780582522634,\n",
       "                0.597808757836137\n",
       "            ],\n",
       "            \"frozen\" : false\n",
       "        }\n",
       "    ],\n",
       "    \"weights\" : [\n",
       "        0.3148521575093671,\n",
       "        0.42381846635660686,\n",
       "        0.261329376134026\n",
       "    ]\n",
       "}"
      ]
     },
     "execution_count": 10,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "model = GeneralMixtureModel.from_samples(NormalDistribution, 3, X)\n",
    "model"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***model.to_json(separators=(',', ' :'), indent=4)***\n",
    "\n",
    "This method returns the JSON serialization of the distribution as a string."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "{\n",
      "    \"class\" : \"GeneralMixtureModel\",\n",
      "    \"distributions\" : [\n",
      "        {\n",
      "            \"class\" : \"Distribution\",\n",
      "            \"name\" : \"NormalDistribution\",\n",
      "            \"parameters\" : [\n",
      "                5.901815709887363,\n",
      "                0.47865628749453537\n",
      "            ],\n",
      "            \"frozen\" : false\n",
      "        },\n",
      "        {\n",
      "            \"class\" : \"Distribution\",\n",
      "            \"name\" : \"NormalDistribution\",\n",
      "            \"parameters\" : [\n",
      "                5.175959799664007,\n",
      "                0.8774489898709738\n",
      "            ],\n",
      "            \"frozen\" : false\n",
      "        },\n",
      "        {\n",
      "            \"class\" : \"Distribution\",\n",
      "            \"name\" : \"NormalDistribution\",\n",
      "            \"parameters\" : [\n",
      "                6.9902780582522634,\n",
      "                0.597808757836137\n",
      "            ],\n",
      "            \"frozen\" : false\n",
      "        }\n",
      "    ],\n",
      "    \"weights\" : [\n",
      "        0.3148521575093671,\n",
      "        0.42381846635660686,\n",
      "        0.261329376134026\n",
      "    ]\n",
      "}\n"
     ]
    }
   ],
   "source": [
    "print(model.to_json())"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***Model.from_json(s)***\n",
    "\n",
    "This class method returns the deserialization of the JSON string back to the model object. s can either be the JSON string or a filename ending in `.json` to read from."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{\n",
       "    \"class\" :\"Distribution\",\n",
       "    \"name\" :\"NormalDistribution\",\n",
       "    \"parameters\" :[\n",
       "        5.0,\n",
       "        2.0\n",
       "    ],\n",
       "    \"frozen\" :false\n",
       "}"
      ]
     },
     "execution_count": 12,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "model = NormalDistribution(5, 2)\n",
    "\n",
    "model2 = Distribution.from_json(model.to_json())\n",
    "model2"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Compositional models, i.e., those that are not simple distributions, have three additional methods whose named are inspired by scikit-learn. These methods relate to the posterior probabilities P(M|D) of each of the components of the model given some data."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{\n",
       "    \"class\" : \"GeneralMixtureModel\",\n",
       "    \"distributions\" : [\n",
       "        {\n",
       "            \"class\" : \"Distribution\",\n",
       "            \"name\" : \"ExponentialDistribution\",\n",
       "            \"parameters\" : [\n",
       "                5.0\n",
       "            ],\n",
       "            \"frozen\" : false\n",
       "        },\n",
       "        {\n",
       "            \"class\" : \"Distribution\",\n",
       "            \"name\" : \"ExponentialDistribution\",\n",
       "            \"parameters\" : [\n",
       "                0.3\n",
       "            ],\n",
       "            \"frozen\" : false\n",
       "        }\n",
       "    ],\n",
       "    \"weights\" : [\n",
       "        0.5,\n",
       "        0.5\n",
       "    ]\n",
       "}"
      ]
     },
     "execution_count": 13,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "d1 = ExponentialDistribution(5.0)\n",
    "d2 = ExponentialDistribution(0.3)\n",
    "\n",
    "model = GeneralMixtureModel([d1, d2])\n",
    "model"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***model.predict(X)***\n",
    "\n",
    "This method returns the most likely component for each sample. In the case of a mixture model it returns the component that is most likely, in the case of a hidden Markov model it returns the most likely component for each observation in the sequence."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "array([1, 0, 0, 0, 1, 0, 0, 1, 0, 1], dtype=int32)"
      ]
     },
     "execution_count": 14,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "X = numpy.random.exponential(3, size=(10,1))\n",
    "\n",
    "model.predict(X)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***model.predict_proba(X)***\n",
    "\n",
    "This method returns the probability of each component for each sample. It is similar to the `predict` method except that it returns the probabilities instead of simply the most likely component."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "array([[0.00046883, 0.99953117],\n",
       "       [0.74132615, 0.25867385],\n",
       "       [0.58846532, 0.41153468],\n",
       "       [0.89449455, 0.10550545],\n",
       "       [0.        , 1.        ],\n",
       "       [0.94041259, 0.05958741],\n",
       "       [0.50991095, 0.49008905],\n",
       "       [0.00002574, 0.99997426],\n",
       "       [0.83434281, 0.16565719],\n",
       "       [0.        , 1.        ]])"
      ]
     },
     "execution_count": 15,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "model.predict_proba(X)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "***model.predict_log_proba(X)***\n",
    "\n",
    "Like predict_proba except that it returns the log probabilities instead of the probabilities."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 16,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "array([[ -7.66527111,  -0.00046894],\n",
       "       [ -0.29931461,  -1.35218726],\n",
       "       [ -0.53023729,  -0.88786198],\n",
       "       [ -0.11149647,  -2.24899266],\n",
       "       [-46.97709403,   0.        ],\n",
       "       [ -0.06143657,  -2.820311  ],\n",
       "       [ -0.67351918,  -0.71316817],\n",
       "       [-10.56732239,  -0.00002574],\n",
       "       [ -0.18111092,  -1.79783472],\n",
       "       [-27.30692393,  -0.        ]])"
      ]
     },
     "execution_count": 16,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "model.predict_log_proba(X)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Flexibility\n",
    "\n",
    "#### Modeling different features as different distributions\n",
    "\n",
    "A second benefit of treating all models as probability distributions is that it greatly increases the flexibility that pomegranate provides. When people build naive Bayes classifiers, they typically will use a Gaussian distribution. However, there's no reason that one has to use a Gaussian distribution, you can drop in any type of distribution that you'd like. For example:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 17,
   "metadata": {},
   "outputs": [],
   "source": [
    "X = numpy.random.normal(5, 1, size=(100, 2))\n",
    "X[50:] += 1\n",
    "\n",
    "y = numpy.zeros(100)\n",
    "y[50:] = 1\n",
    "\n",
    "model1 = NaiveBayes.from_samples(NormalDistribution, X, y)\n",
    "model2 = NaiveBayes.from_samples(LogNormalDistribution, X, y)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "It is easy to drop in whatever probability distribution you'd like because it should be easy. Mathematically, the naive Bayes model relies on Bayes' rule, which says:\n",
    "\n",
    "\\begin{equation}\n",
    "P(M|D) = \\frac{P(D|M)P(M)}{P(D)}\n",
    "\\end{align}\n",
    "\n",
    "Because the \"naive\" part of a \"naive\" Bayes model means that the model treats each feature independently, we can rewrite the $P(D|M)$ aspect as the product of these probabilities over all $d$ features:\n",
    "\n",
    "\\begin{equation}\n",
    "P(M|D) = \\frac{P(M) \\prod\\limits_{i=1}^{d} P(D_{i}|M)}{P(D)}\n",
    "\\end{equation}\n",
    "\n",
    "Now, because each feature is independent, they can be modeled by different probability distributions."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAA0sAAAEbCAYAAAALVR+oAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADh0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uMy4xLjIsIGh0dHA6Ly9tYXRwbG90bGliLm9yZy8li6FKAAAgAElEQVR4nOydd1wT9//HXwl7iQP3HoAoiBP33mLrrtpqW6vV2tra1lqxtrVWf47qt63bDner1tWhuPeeOBBBEQRFAdl7hOR+fyR3uUsuCwJJ9P18PHiQ3Pzk7nP3+by3hGEYBgRBEARBEARBEIQAqaUbQBAEQRAEQRAEYY2QsEQQBEEQBEEQBCECCUsEQRAEQRAEQRAikLBEEARBEARBEAQhAglLBEEQBEEQBEEQIpCwRBAEQRClhBLKEgRBvNyQsEQQBGEiEydOhK+vr+CvRYsW6NSpE6ZPn46YmJgKacf+/fvh6+uL9PT0cj1PSEgIhg4dWubjFBcXY8uWLRgzZgyCgoIQGBiI1157DWvXrkV+fr4ZWlqxnDhxAvPnzy/zcYy5jwqFAjt37sTIkSPRunVrtGnTBmPGjMHu3bsFApu57pWpXL16Fb6+vggPD6/wcxMEQZQn9pZuAEEQhC3Stm1bzJkzh/teXFyMqKgorF27FpMnT8bRo0fh5ORkwRZaF+np6ZgyZQri4uIwceJEfPLJJ3BwcEBYWBi2bNmCM2fO4M8//4Sjo6Olm2o0W7duhaura4Wc68cff8Qff/yBqVOnIjAwECUlJbh8+TK+++47xMfHY/bs2QCADz/80CYFT4IgCGuFhCWCIIhSUKlSJbRu3VqwLCgoCC4uLvj6669x5coV9OzZ00Ktsz4WLFiAmJgY7NmzBz4+PtzyTp06oXfv3hg9ejR27tyJd955x4KttE6Ki4uxbds2zJgxA1OnTuWW9+zZExKJBFu3bsW0adNQqVIlNGjQwIItJQiCePkgNzyCIAgz4ubmprXs/PnzmDBhAtq0aYOAgAAMGzYMx44d49avXr0aI0eOxMGDBzFw4EAEBARg1KhRCAsLExznn3/+wcCBA9GqVSu8//77yMzM1DrX8ePHMWrUKLRu3Ro9e/bEzz//jJKSEm59nz598Ouvv+Lrr79Gu3bt0LFjR6xatQo5OTn44osv0KZNG/Tu3Rv79+8X/X1Lly5FUFAQiouLBcvfe+89fPzxx6L7xMfH48iRI3j33XcFghKLn58fJk2aBGdnZ8Hybdu2YcCAAfD390dwcDAOHTrErUtISICvry9OnTqFyZMnIzAwEN27d8f69esFx8jPz8fChQvRpUsXtGrVChMnTsT9+/e59fv370fHjh3x+++/o2PHjujZsyfy8/ORm5uLRYsWoXfv3vD390enTp0wZ84cZGdnA1C6Yl67dg1nzpyBr68vEhISuN/64Ycfok2bNmjfvj1mz56t5V5nzH3kk5ubi6KiItH4qLFjx2LmzJlQKBQAtN3wMjMzMXv2bHTo0AEdO3bE8uXLMXfuXEycONGk6xgbG4tPPvkEnTp1gr+/P/r06YO1a9dSzBZBEC89JCwRBEGUAoZhUFJSwv3l5eXh6tWr+Omnn1CnTh20b98eAHD37l1MnToV3t7eWLduHX766Se4uLhg1qxZgkl0XFwcVq1ahRkzZmD16tUoKirCzJkzOUHn8OHDmDNnDrp164a1a9eiXr16+PHHHwVt+uuvvzBjxgy0atUKa9aswYQJE7Bp0yaEhIQIttuwYQPkcjnWrFmDwYMHY+3atRg9ejSqV6+OdevWwdvbG99++y2eP3+u9buHDx+OrKwsXLhwgVuWkpKCK1euYNiwYaLX6vTp0wCAwYMH67yeX3zxBcaOHct9X7NmDZYtW4YhQ4Zgw4YN6NKlCz7//HMcPnxYsN/cuXMRGBiIDRs2oHfv3vj5559x9uxZ7h5Nnz4doaGh+PTTT7Fy5Uo4Ojpi4sSJePLkCXeMnJwcHDhwACtWrMDcuXPh6uqKWbNm4dSpU5g1axY2btyI9957DwcPHsS6desAAPPnz0eLFi3Qtm1b/PXXX6hRowZSU1Px5ptv4vnz5/jhhx+wYMEC3L59G5MnT+aES2PuoyZVq1aFv78/Vq9ejfnz5+P8+fPIy8sDADRq1Ajvv/8+KleurLUfwzD44IMPcPnyZcybNw+LFi3CuXPncPDgQa1t9V3HvLw8vP3228jMzMSyZcvwyy+/cEI2e28JgiBeWhiCIAjCJCZMmMD4+Pho/bVq1YqZNm0aExcXx227d+9e5uOPPxbsHxERwfj4+DCnTp1iGIZhVq1axfj4+DB37tzhtjlx4gTj4+PDhIeHMwzDMMOHD2cmT54sOM60adMYHx8fJi0tjSkpKWE6derEfPbZZ4Jtdu7cyfj4+DCRkZEMwzBM7969mcGDBzMKhYJhGIYpKChgmjdvzkycOJHbJz4+nvHx8WGOHz/OMAzDzJkzhwkODubWv/7664LzbN68mQkKCmKKi4tFr9fChQsZHx8fJi8vT7C8pKSEkclk3F9JSQnDMAyTlZXFBAQEMD/++KNg+7lz5zJ9+/ZlGIZhnj59yvj4+DDz58/n1svlciYoKIj5/vvvGYZhmHPnzjE+Pj7MxYsXuW1kMhkzYMAAJiQkhGEYhtm3bx/j4+PDHDt2jNumsLCQmTRpEnP27FnB+T/44ANmxIgR3PcJEyYwU6dO5b6vWLGCadeuHZOWlsYte/LkCePn58f8/fffDMMYvo+6SEhIYMaNG8f1NT8/P2bcuHHMzp07uevGMMJ7deHCBcbHx4e5cuUKtz4pKYnx9/dnJkyYYPR1DA8PZ8aPHy9on1wuZ9q3b88sXbqUYRiGuXLlCuPj48PcvXtX528gCIKwRShmiSAIohS0a9cOc+fOBQBER0dj2bJl6Ny5M3744QdBkoJRo0Zh1KhRyM/PR0xMDOLi4nDlyhUAELiy2dvbw9/fn/teq1YtAEBBQQEKCgoQGRmJr776StCGgQMHcpr92NhYpKenY9CgQYJtgoODMX/+fNy4cQPNmzcHAAQEBEAikQAAnJ2d4ebmJjg3a6VgXc40GT58OFauXIn8/Hy4urriv//+w5AhQ+Dg4CC6PesipklwcDAeP37MfXd1dcWtW7dw+/ZtFBUVoVevXgIXwh49emDfvn14+vQp135+3JhUKkWNGjW4BAdXr16Fi4sLOnToIDhOt27dcOrUKUFbGjduzH12cnLCpk2bACjd1OLi4hAdHY2YmBi9STuuXr2K1q1bo1KlStz5ateujaZNm+Ly5csYOHCgwfuoi7p162Lnzp2IjIzEmTNncOnSJdy+fRthYWEIDQ3Fxo0btZJjXLt2DZUqVULHjh25ZTVr1kSbNm203Of0XUd/f3/s2LEDMpkMjx49QlxcHO7fv4+SkhItd0yCIIiXDRKWCIIgSoGHhwcCAgIAKIWP2rVrY9KkSXB0dMQPP/zAbZefn49vv/2Wcx9r3LgxJ7TwJ6yOjo6QStWe0exnhUKB7OxsMAyDKlWqCNrg5eXFfc7KygIAVKtWTaudjo6OyM3N5ZaJxVW5uLgY/dtfe+01rFixAqdOnUKLFi0QERGBb7/9Vuf2derUAQAkJiaiadOm3PLVq1ejsLAQALB7927OPYyN4Rk3bpzo8VJSUlCjRg0A0Ipzkkql3HXNzMxEQUGBQBBk0RTsqlatKvh+8uRJLFmyBE+fPkWVKlXg7+8PZ2dnnYIfe747d+6gZcuWWuuqV69u1H00hJ+fH/z8/DB9+nTk5ubi559/xvbt23HgwAGMGjVKsG1GRobWudjzpaSkCJbpu44AsH79emzcuBE5OTmoW7cu2rRpA3t7e4pZIgjipYeEJYIgCDPQuXNnjB49Gnv27MGgQYPQp08fAMDChQtx8eJF/Prrr+jQoQMcHR3x6NEjHDhwwOhje3p6QiKRIC0tTbCcnxiAtQZpbpOdnY3i4mLRmJbS4uXlha5du+Lo0aNISEhAw4YNtTID8unduzeWL1+OEydOCIQlb29v7vOZM2e4zx4eHgCAtWvXombNmlrHa9y4scGkCOxxqlWrhl9++cWYn8URFxeHmTNnYsSIEfjjjz84K9/MmTP11tByd3dHjx498Mknn2itc3NzM+o+irFlyxZs3LgRZ86cgZ2dneB88+bNw4EDB0TbVaNGDdHaTabW5frnn3+wcuVKzJ8/H0OHDuXuT+fOnU06DkEQhC1CCR4IgiDMxOeffw4PDw8sXbqUc0+6ffs2unfvjq5du3JuUufPnwcAo7Xyzs7OaN26NU6cOCFYzgbgA0oBokqVKjhy5IhgGzaDXNu2bUv3o3QwfPhwXLhwAceOHcPrr7+ud9umTZti4MCB+OWXXxAVFaW1XqFQCNzxAgMD4eDggLS0NAQEBHB/0dHRWLt2rdFtbNeuHdLT0+Hq6io4zoEDB/Dff//p3O/+/fuQyWSYOnUqJyjl5+fj5s2bgnvGtwSy54uNjYWvry93Lh8fH6xZswY3b9406j6K0aRJE7x48QJ79+7VWvfixQvk5eWJZhls3749cnJycP36dW5Zeno6bt++rfd8mty6dQu1atXC+PHjOUEpIiIC6enpZFkiCOKlhyxLBEEQZqJq1aqYNm0aVqxYge3bt2Py5MkICAjAqVOn8Pfff6N27dq4cuUKNm7cCACcC5oxfPzxx5gyZQrmzp2LIUOG4MqVK4JJt52dHWbMmIGFCxfC09MTffv2xYMHD7B69WoMGjRIdDJdFvr27Ytvv/0WERERWLlypcHtFy5ciOnTp2Ps2LF444030KVLF7i4uCAqKgp79uzBo0ePuGx4VatWxcSJE7F06VJkZWWhVatWiIqKwk8//YS+ffvC3d3dKMtS7969ERAQgKlTp2LGjBmoXbs2jh49ih07dmDBggU69/Pz84OdnR2WL1+O8ePHIyMjA5s2bUJqaqogLqhSpUqIjIzE1atXERgYiEmTJuHff//FlClT8Pbbb8PBwQGbNm3C7du38emnnwIwfB/F6N69O/r164cFCxYgIiICvXr1goeHBx49eoRNmzbBz88PQ4YM0dqvU6dOaN++PWbNmoVZs2bBzc0N69evR1FRERfzZQwBAQHYtWsX1qxZg6CgIMTExGDt2rWQSCQm9WGCIAhbhIQlgiAIM/LOO+9g586dWL9+PUaMGIGQkBAUFhZi8eLFAJRWljVr1mDx4sW4desWRowYYdRxu3btitWrV2PlypU4ePAgAgICMHv2bHz//ffcNhMmTICzszM2bdqEPXv2oEaNGpg0aRI+/PBDs/9OJycndOzYEenp6ahfv77B7T09PbF9+3bs378f//77Lw4cOIC8vDzUrFkTnTt3xvLly9GiRQtu+9mzZ6Nq1arYvXs3Vq1ahRo1auCdd97BjBkzjG6jnZ0dNm7ciBUrVmD58uXIzc1Fw4YNsWTJEowcOVLnfo0bN8ayZcuwZs0aTJ06FdWrV0fPnj0xatQofP/990hOTkbNmjXx7rvv4rPPPsOUKVOwdetWtG3bFjt27MDy5csxe/ZsSCQStGzZEps3b4afnx8A4+6jJhKJBCtXrsSff/6JgwcP4tChQygsLESdOnUwZMgQTJ06VSu5A8uqVauwcOFCfPfdd3B0dMS4cePg7OwMV1dXo6/jyJEjERcXh127duH3339H3bp1MXnyZMTExODmzZtGH4cgCMIWkTBkQycIgiBMpKioCD169MAXX3yBMWPGWLo5hAhPnz5FeHg4BgwYAHt7pW5ULpejT58+GDRoEJfNkSAIgtANWZYIgiAIo8nKysL27dtx9epV2NnZYejQoZZuEqGHL7/8EpcuXUJwcDBkMhn27t2L9PR0vPHGG5ZuGkEQhE1AliWCIAjCaAoLC9G7d284OTlh8eLF6NKli6WbROjh3LlzWLduHR4+fAhAGX/02Wef6c1eSBAEQaghYYkgCIIgCIIgCEIESh1OEARBEARBEAQhgs3FLIWFhZlUaZ54OSkqKoKTk5Olm0FYGOoHBED9gFBC/YBgob5AAMp+YA6XY5sTliQSCZeClXh1iYyMpH5AUD8gAFA/IJRQPyBYqC8QgLIfmANywyMIgiAIgiAIghCBhCWCIAiCIAiCIAgRSFgiCIIgCIIgCIIQgYQlgiAIgiAIgiAIEUhYIgiCIAiCIAiCEIGEJYIgCIIgCIIgCBFIWCIIgiAIgiAIghCBhCWCIAiCIAiCIAgRSFgiCIIgCIIgCIIQgYQlgiAIgiAIgiAIEUhYIgiCIAiCIAiCEIGEJYIgCIIgCIIgCBFIWCIIgiAIgiAIghCBhCWCIAiCIAiCIAgRKlxYunPnDiZOnAgAuH//Prp3746JEydi4sSJOHToUEU3hyAIgiAIgiAIQhT7ijzZb7/9hv/++w8uLi4AgIiICEyaNAnvvfdeRTaDIAiCIAiCIAjCIBKGYZiKOtnRo0fh6+uLL7/8Ert378b8+fPx+PFjyOVyNGzYEF999RXc3d31HuPmzZtwdXWtoBYT1kphYSGcnZ0t3QzCwlA/IADqB4QS6gcEC/UFgsXPz6/Mx6hQy9LAgQORkJDAfW/VqhXGjBkDf39/rF+/HmvXrsWcOXP0HkMqlZrlhxO2TWRkJPUDgvoBAYD6AaGE+gHBQn2BAJT9wBxYNMFD//794e/vz32+f/++JZtDEARBEARBEATBYVFhafLkybh79y4A4PLly2jZsqUlm0MQBEEQBEEQBMFRoW54mnz33XdYuHAhHBwc4OXlhYULF1qyOQRBEARBEARBEBwVLizVq1cPu3fvBgC0bNkSu3btqugmEARBEARBEARBGISK0hIEQRAEQRAEQYhAwhJBEARBEARBEIQIJCwRBEEQBEEQBEGIQMISQRAEQRAEQRCECCQsEQRBEARBEARBiEDCEkEQBEEQBEEQhAgkLBEEQRAEQRAEQYhAwhJBEARBEARBEIQIJCwRBEEQBEEQBEGIQMISQRAEQRAEQRCECCQsEQRBEARBEARBiEDCEkEQBEEQBEEQhAgkLBEEQRAEQRAEQYhAwtIrSHGJAlO23kBUUralm0IQBEEQBEEQVgsJS68gEc+zcCIyGXP2hYuuPx+dgkYhoXiYnFPBLSMIgiAIgiAI64GEJUKLQ+FJAIDrcekWbglBEARBEARBWA4Sll5lGMbSLSAIgiAIgiAIq4WEJYIgCIIgCIIgCBFIWHqVkUiQkJGPA3eeW7olBEEQBEEQBGF12Fu6AYQFYRiMXHcJL3KK8FpgHUu3hiAIgiAIgiCsCrIsvYJIJBLu84ucIgu2hCBsh303E9AoJBQZecWWbgpBEARB2Dz3nmXh+P1kSzfDICQsvYIwIokdhMso8QNBaLL1chwAID4936LtIAiCIIiXgaGrL+D9bTcs3QyDkLBEABBPjCeBRHshQbyisM8IPRUEQRAE8epAwtIrCN8Nj4VsSQRBEARBEAQhhIQlAoC4ax5BEEpyCmUIf5YFAJCKKBsIgiAIgng5IWGJIAjCAFdi07nPJCsRBEEQxKsDCUsEAHLDIwh9VHVzsHQTCIIgCOKlxNq9m0hYeoUR5L+z7n5KEBbFyd6O+0yWpVeLpKxC3FO5YBIEQRDmR66w7kkoCUsEAIAh2xJB6ISvTCDFgu0SlZSNcw9TTNqny9KTGLr6Qjm1iCAIgpDJrXtgtbd0AwjLwVeQ0wSQILT55p978HC2x8CWtbhlCnpYbJZBP58HAMQtDTa47ed/3cbTjHzwFZ6JWQUIi89EcKva5dVEgiCIV45iuQIusDO8oYUgyxKP+8+zcTM+AwoFgxK5wtLNKXd0TfloLkgQSrZfice6MzECAcna3QUIw8zYEYbIxGw8epGD7EIZTj94obXN/lvPcD0ug/t+7mEKOi85hY92hKG45OUfHyqCPTee4m5CpqWbQRCEhZFZ+ZybhCUeQ1adx6j1l/DO5mtoNu+wpZtToYgWpaXYDIIAIFQskGXJ9jl4NxGDV55Hvx/P4cs9dzFp83VEJmZj++U43IhLx8xdt7T2eXvTNe7zxguPK7C1tkWJXIGP/gwTCEEvcgrx4/GHUGgoGmbvvYvX11w0eMykrELM2XsX6XnF3LL4tDwcCk80X8MJgrAY1i4skRueCOejUy3dhAqHYpYIQjf8TD1kWLJNQu+KT6yPRCQBAAavPG/0sZYdicL0Xk3N0q6Xiax8GVJyCxEanoj7idk4/UUvHLmXiJ9PRCMqKQedm1RD56bV9O7PgEFlV0du2dLDUdhwNgYA0N3HC0Nb1QEAvLb6ArILS/B4yRDRQusA8Ou5GOQWluDzAb5QKBjcepqBdg2rmvEXEwRhDkooZsl2ScstQjV3J0s3w+yww8rdBPEMT7uuP624xhCEDcAXkMgNzzb5aEeYWY+XXShDJWdKKc/yODUPvVecwai29bjvAPDBH+rr/vnu27g8t6/OYwR+fwyAMKaMFZQApYWJJbuwBACQW1QCD959eJqej0cvctG7eQ0sPhQFAHBzsodUIsH/HYrEn1M6omszr1L/ToIgzI+1O2yQG54e2i06YekmVBjW3lEJwpLw3Yc0XYkI66c87tnKE9FmP6YtE5+mFI72hSVwywplcsE2iVmFosqGW08yEJmYzX3PyCtGoUyuFUt27XE6Lj5KRavvjvK2leFpej5WHH0AhmEw/rcrmLTlOtacUt+fJYejcFeV/n3y1utl+JUEQZQH1u7eTpYlAzAMo9PE/zJh3d2UICoevg91jkqLDQByK3+pE9oUaEzazcHGC4/xzdAWZj+urRIWn6G1bJhGPJKXuyOafnUIHRpVwe2n6pimEesuCbZrs/A4GlVzRVxavmD5sfvJOHY/WbBsX1gCVp5UCkaVe9VEQkYBAGDFsYeC7Q7ceQ4AKJQpkJhVgNqeLqb8PIIgyhFrH1XJsmSA/GLzD7KWZvLWG1rL2JiM/OISrXUE8SpSxMt4NmWb+pkhw5LtkUfvtXJn1alHWsseJOcIvqfmKhM0XI/LMFhXRVNQ0gUrKAHAojPJerZU894W7TGQIAjLwVi5EpKEJQNkF8os3QSzk5pbpLWM7aYtvj2qtc4cFJcoUFTy8gmexMuLrvIBCgUDhmFw/7nSbWjJ4Ug0CgnFi5xC0e0Jy5NfpHz3zOrvgw0T2lq4NS8fxrg5VnNzNLhNRZFd8PKN6wRhy1i3qETCEoeul/21x+kV3BLLUN5CfZelJ+H3zZHyPQlBmJFiHcKSXMEgNDwRQ1adR6OQUPxyNhYAEPR/J5GQYZw2nKhYWMuSd013DPKvDamGZ/WHJmS2mz3Q15xNeykwRqm4bFSrMp/HTvPGGcDJXnyKU68KueARhDVBliUb4Z/bz0SXz9x1u4JbYiHKqZ/GpOSiqESO1NxigfvS0/R8nI7SLgRJENaCrlSmcobh4iI0iX6RW55NIkoJey8d7JRD3lsdGwrWd/NWZ0fr7u2F7t5e6OdXE6vHt0HDaq7Y9G573FswECvHtcb0nk3xWmAdNPZyq7gfYOVoeitserc9Vo9vI1hWxa10mQPnv6aOC2tdv7LR+7k52uGDnuJCsH9dTwBKj4e3N11DuI7MsARBlB98I4WVy0oVn+Dhzp07WLFiBbZv3474+HiEhIRAIpHA29sb8+fPh1RqGfkt6xUxy/OL+pU3T9Ly0fd/Z0XrkfT931kUyxWCFLEEYU3oKpLHMAyquIpP/ORyhksKs+vaE/jX9eQmZoTlYMdhNlfPYP9a2H4lHgDg7mSP9qraO929vbB9ckfBvq8F1uE+D2tdV3kcWL8mtCKJeJ4t+G4nlWJoqxr4eKe6uK+bk+nTDS93J0zq2hhe7k6wk0qw7XIcAOU9YRM29PCpjjb1KwtilwDgz/c7oVVdT7zXtTGSsgvxJD0f/VvUROCCY1xGvt8vxOLcwxSk5BTh8MzuJrePIIjSc/6Ruqaptb9NK1RY+u233/Dff//BxUVpAl+yZAk+/fRTdOzYEd9++y1OnjyJ/v37V2STOEw179sqM3TUGhErSlvWK3LzidKFkU0py0eXixNBWAu6AtDlCmF2PD5Ttt1AUOOq2D2tM0L2hwMAKQSsAFawYTObdmnmhbilwZxA7GAnxbV5feHmaNyQKJVY/+BekSTy6h9VdXNE+4ZVIJFIsO29ILy96RoAwNPFAXUru8DD2R5HPu2BfTcTMGvPHW4/dyd75BaVYGqPJnirYwPUrewCe5UlkBVYA+p6Ytf1J5jV35cTlra9F4TsQplAWFr/VlvOCuXp6gBPVwf41vIAADjYSbj7/sORBwBI8CUIS8AvLWDtj2CFCksNGjTA6tWr8eWXXwIAIiIiEBQUBADo0aMHLl68SMJSOZOSo53cATBvR2UYBj8df4hUlRXL1cgJCEFYE7osS3lFJVgUGqlzv2uP03EqSp2Vi9IUVxwMw6BEwXDudiyst4fmW56/XQ0PZ6PPI5FIrL4uSEXCJkNZOKwlJnZuxC3v4VMdDxYNQnRyLmp7uuDcl705waSuRtzQV0P84OZkh9cD6+gs11G/qitmD2wOAFg+uhUquyqTRlRydkDUwkHYfeY23u7fTm9b7aQSsxeWZhgGe28mYJB/LUGBXIIgdMN/hVr7+7RCZ7EDBw5EQoK6YB2/hpGbmxtycnJ07cqhUCgQGal7olJaXiRl61xXHuezFIVF4sLSg4cP4elsJ1iWmJiIyEhtq5Ahbj3Px6pTSdz3zEx1PY3IyEik5qm18hH370NaijpWhYWFL9V9IUpHefaD6DTxZ2X+f+EG9+WnJr56Jwq+1Y2fiBOmw/aDP26n4887mZjdvTq6NXSDo0oYinuhtHwkPH2KSEVamc+XnZWF4mIZvYNUJCYrvQjaeeaLXhM7AJHZzwXLPAEsHlAbzao64szjXLT2yIVEIkFUlO6xmI+/KmQsMlKdhCnAS2rwnjByOVLTMwTblfU9EplSiNmHnuPIrVh80a1GqY9DmA+aI1g/CQnq+WVsbCyQ6WTB1ujHoip/fnxSXl4eKlWqZNQ+fn5+Zm/L3dwnAFK1lkskKJfzWQrHQ8kAtOOzvL29Uc3dCUAst6x27drw82tg8jmeKJIAqIUlT8/KAJSB7+41G2LwD6e5dc18fOFkbwdTibARy7gAACAASURBVIyMfKnuC1E6yrMf5MdnANBO/FIgM00DVrteA/g1qWamVhFisP3g+P4TAIDl51OQXOKK74cp+0aeSzqA52jYsAH8vKuX+Xye4UWwT5fTO0hF5SdRsJNmoUUL04r0spcvqLV52mHM+8DFOQnuHpVU2ynHO0cnpzLdyyTpCwDPIbd3ERynUUgoxrSrh+VjAgEA/95+hlUno3Hi856QSCR4mp6Pr/4Ox/oJ7eBeipguQjc0R7B+4uVJAJReGI0aN4ZfHfPH95pLYLZoNrwWLVrg6tWrAIBz586hffv2FmtLMa8A5Zh29bB9chDGdahv9X6UpqLr55jzZ+rz/+b7tgO6M44RhKXRVWfJVApLhMdhGAaHwhOp7lg5wLdSP0lXp3FXu+GZx926NNbwl5kSOQN7G3Flt5NKUKLhhlfWcV5Woo59Y/l0lzK5xZ6bam+ambtuIyYljzv/8qMPcD46FScjjSumSxAvF7aTDc+iwtKcOXOwevVqjB07FjKZDAMHDqzwNmw4G4O/byWgSPWye6tjA8wL9kN37+qo5al0nXkVgj/NG7Ok8Z33QGiEEpCwRFgtuhI8mAo/iBUAzj5MwYd/hmHNqUdmOT6hhh97yp8PqxM8mOc8Eli/j31FIpNrx4lZKw5SqcnjzqMXuYjS46rPviscedfgn9vPdW3OnZ/truaOoSIIa6dQJkdMitoNz9pfpxVu961Xrx52794NAGjcuDH++OOPim6CgKWHowCoCw3Of60lHFWF7FjtoYIB7GxDaWYYHR1SLBuemU8BABj/61XBd5mCsuIR1omhvtmtmRcuPNJ23dUkv1iYOe+DP24CAF5ki8dEEeaBr+TiUoeb6dgSifUP7hVJiUIBexsZJEUtSwb26ffjWQDA8c96wLumh9Z6NhmMsdegRKEAYCeYYxDEq8KL7EJ88+89HI1QW1TNOQctD2xDFVQBxKiKSfJdCdiPL5MG0ZTfcjM+A5n5ptdl0ncKzZThZFkirBVZibawtHKcOrhidLt6Rh2nUKYQ/V6aujOEfvhl+vjaeoVG6vAyn0cisfrBvSKRyRnYW6hGoqk42EkgV2i7xhpD/5/OoeW3R7SW81PQMwyDe8+ERW4Phycip1AdK8yOexJOWNI+v0yuIIsT8dIhkysQtPikQFACrF/5ZBtvtwpg/y1lILeUJyzpe5HZKjp/CQOsOPpAsGjPzQSM+/VKKc6h5YenE13pmQnCEmTkFSM5WxlXp6l9BgAfnlZZ7L0Q1Kiq1jJNNzyWAh3LidLDjyUS3B82ZslcbngSsgbwKZErbDtmife5UCbHpM3XEJuSK7p/XrHyub33LItzzWPd8BzspPjvznMMXX1BsM/0P8MQ8N0x7rtMoQDDMNgXpoxnYoW1GTvC0CgkFJ/9dRve8w4jeNV5bp8X2YWI0dEmgrAVikWUkACw6/rTCm6JaZCwxEPzXc8OrC+RrKTztzAA1pzWjqGISjKczl14fMYkbZjYhJQgLEXQ4hPouPgkAHFB3sleiqDGSoGoqpuj1vpNkzrg/e6NBct0CUUK6vtmhy8sZearNfnmdsMDJC/VuFBWShSMzbjh2atilvjPH8MA3Zadwj+3nuHio1ScfpCChQfv6z3O0NUXMOhnpTAjZ9QxSE/S8vXtBkBpWYp4ro6BOnIvCTK5AgfvJgIA/lYpb/njb9Dik+j7v7NG/kqCsE50GR92XntSwS0xDRKWeGgWpmUH3pdpUNTlOnIltuy1RwClm8LMXbeN3t5cGccIIcnZhbgUYzie5lWguESBi6rYouP3k/VmnuIndRBL8CCVSLDz/U7YMqkDevnWwJkvegnWuzvZY15wCzjZq1+tmm547HxebgMvlqfp+WgUEopbTzIs3RSj4FuOopJyOE08e6mlZrJ+KM9jfffvRlx6hQvh0ck5+PvWMyRkFFToeUuLo70URSVywfNXKJMjIaMAX+67y/WR0nqIuxrhXitXMMgrUscynn6QAu95h0t3QoKwAhQKBpsuPBb0a/HtKqhBZoaEJR6ak6OXMWZJ10/RJ+BkF2rXZdLFoxfabgL6rp65Mo5ZGplcUaEuhUsOR6LP/87oXD/o53N487er+Owv4X0tKpFj57UnL7VVQ3MisuxIFN76/Sp+PvEQ72+7gclbb+BKbBpCVVpcMe4mZOJxqnZflkiUSpVevsrCkw2ruaK6h3YhPb7ihe+GxzAM9wzawj04H60UMnffsG4XCRbNlN7XHysLlnIxS2Y7j/Up0aKTczB6w2V8dyCi3M4hkyu0Ut6Hhut+jqwRdyd75BaVCDwgWA8He6kEdqz7vWqZMXG7/GfZzdFw3cDP/rqtFb+rC0OTT4KwBs5Gp+D7g/exKFR/XaMSG5WWXmlhyZBVQ2pkzFKhTI4S1WS5UUgotl2OM1MLzU9pBvjpquxdpUWfq52tPjiaBP3fCQQuUPukMwyDBya6MBpi380EPFXVjvnlbCxieWk3NclQuSCx7hwsK09EY+7+cByNSBLbjeNqbBoCFxzDi5xCvdtZG88yC9D0q0NoOf8oAOCfW8+w8cJjAMDPJ6K57cb9egUf7QjDH1fiuXiBOXvvcutfX3MRa0/HAAC2vhfELdecjEskElyf1w+bJ3XA18F+otvxhSWxpAPWDPszbOUx1TQcZRYonwPODc9sqcMlVnf/2Mn3tsvxiEvV/W4oC/1+PAvfr4UJDvKLbSv2zsPZHjmFQmGJjaOwk0g4RQe7fsS6SwaPyR/jXIwQlm7EZ+BuQpbB7QBlHNPjcrqfxMvL8fvJmLv/ruENzQQ7jj7P1G9httWkJa+0sFSkI9CMRWJkWs/m3xzBhI1XuUFj+ZEH+newMe4/111fwhg0Mw8J19nmg6NJRr5MMGnYcikOA38+hxtx6WY5vkyuwKw9dzBqvXDgFsvidEkjnXWjkFB88889AEC8yp/eUKzY3psJyCqQ4ZAe64s1wq9dFJ6QhU//0u8S+vU/99D/p3M4cOc5/tJhPWldvzKqqeKTdE22e/vWwJTuTbjv/Em7QFji3S9bMKqyP8NWM7+xdW/UdZbM54ZnzivyIqcQSw5Hlul9yH8V9FpxpuyNEiFeJB7H1iwflVwckFNYIngHssKSVCrhnvHbTzMRn5YnKqho1lxixzgGELjg6mP5UePmCacfpAgUltYe2/EyUFQit8mi4QzDYPPFx8gtKsH7225g57Xy8Qg4HJ6IRiGhyCpQex052imVBAUGlCf65h7W/C4hYUkP3ETBCA3ildh0dUII3vIHSTlcdi1LU1JKV7H+LWqW6bz3nukWtl4SWUmLm/HKGI9nBrQsxsIKYi9yirD6pNpCsvRIlECL/MnOW3jz96ta+2+/Eg9A7VLp7mSPh8k5+PqfcMgVDAqK5fj9fCzkCgZJWYVwUA34tpaAgz9ReW3NBT1bqnn0Ihcf77ylc72DnXoCpWlZ0gXfDY//yCkEn63/2tpa3KZmpiUHO2H7zeeGZ94ED1/tD8cvZ2NxOab0saMVqXjix7DlWvEERwwPZ6Ub3uu89wObhMWO54ZXIJOj5/IzosdgEzuwCJ7xcrgN/EQPO66SsGROjtxLwpF7Qk8L//lH4fv1ESw4EGF0Wnlr4MzDFCw4cB//Z8AVjs/mi49xM940pe6CA8rkJ4sO3ueUCcVy5TOkK6FRx8Un8NXf4XrfU52WnDSpHRXJK13oQ1cKQxZ1zJJw+bPMAszYEYaN73QQZMRiFOz26h0G/nwOABC3NLjsDS4jPZefwYsc0wthOtnrdytIzyvG8qNR8HLXjt0AgCfpurMDWZsri7lghVJjtYyG4Gtr/nf8Iff5l7OxOH4/GT+90RoNqrrivzu6q8YXlcg5oYsBg0923kJUUg4mdmqEXdefYPPFONSr4soVTbVFnB0Mu8CYioOdlLNIGGuYGORfCzuvPUU1N0dBHxdYlmxAWIKOd6C1oplMg71hrGXMXJYlwLzvLrbdZTlmeSYMCb2byBVrB5SuaeODGiAyMRu3n2aW23nLAw9nBwDiVjKpRILJW2+YfEy+90R5P9d8bT6hnyP3kpCSWwSpRHlvm9fyQJsGVbDkUCS2X4nHijGB+PDPMADqOdqBO8+5WOrNF+MwuVtj1KviarHfYAq5hUrFRbYJfYQVfEyZoyapDAB7biZgz80ExC0N1n73QqmIPBmZjGk9myI5uwg7rj7BlG6NtbZjySm0XsXLKy0sGTKzsllxNDULv52Lxa0nmdgflgAPZ/UlZAcraxUASmvlMDQILzscpdOFyeCxbWUWZiL8uhvmIL9Y90skLbcYw9ZeRLMa7nqPwY81KC5RwEklWOQWlXATB01ByUq7sk7MJZzysZdKOIuExEjbxPfD/PFpPx+M/eWyoI/bWsySVEPYsHa03umqa8xlwzNjnSVzXhK1MFeGY5Rjf/poR5jWMk13sK7NqpXb+c0Jf8zWJDXXdGViVr5Mw7JUvs+KrcWRWhIxxV/f5jVwMuoFAHCCEqB8N9tJJVpeBk/TC2xGWGL7Hj/pyvx/76GoRIGFw/3NNh/RpFFIKPc5/FmW4DsAvNOlEff54qPSZ+m9GZ+Btg0q61V6zfs7HI293JCaWwx7qQTBDUp9OgGvtLBkyLJkKGYpNDwRt56otWqsa0KhTIEj9xK5jFm2jiF3IVkZor9twRXJFLLyZfB0dRBUdDcH+gqYsppGsUyEuigqUcBDleI2q6AYV3Wkjr8Uk4r3ezQRXWeNODkYd71rVXLmtGOGkEgkPBdb4/qrg50UNSs5QyqVCJQNChsTltSuyBZthtFoajfZZrOX3Vhh1xASSMwqPprj+lqyCsOkro0wZ1BzyzXABCrpEZZKw9bLceqYJYYp9+daTINPGA8rKGnS9KtDaF7LQ2u5PkWltSGmfN56WemCv+v6U6x/qy0GB9TG4fBEBDWuCntpxUTidFt2ivt8yURX4xtx6Ri94TJm9G6GNacfYcnIAIwP0i0B/anhphr8jnnmLxSzpAdWC6mpsctQpRLNyheaOp9nqSdfH/wRhq9VQfW2jiHrj744jlb1PPXua6uyUlxqHheXxGeIquI6K4ibTVgyc8apmJQ8XFBpeJYciuKq0mty+kGKWc9b3jgbcBkFgOGt62DPB51NOi47yTZ1HmQnkQgEJFtzw2PHUlvx2+/rJ1RQsddeneDBPOeRSspH2C2LMGfJ/tSyjme5uMCWB+VRroJ9ru8/zzYpXoQoP0rzfEaJZLC1gdc0h6EY49MPXiA5uxDT/wxDu0UnEPj9Mb3bi1EaBXdqrjr9/uF7+jPxavLXdaXX0prTyuRN/LCOJ2n5OHhXd+iBOXnFhSUDbng6LEv/3n6uWi5coeknau7U0ZbCkBuenZ4ZSDVeTJehY196lGozGWh6rTijlZkOULs6sml8zTU5Y4trmkIv3+o6163iJYmINsEiZe24GpG217+uJ+pXVbpVBNbzxLV5fdGgqn43C7HkLcZgJ5UIXe8EgpOJB7MA7OTdViYM7hoFQRmN/2ZLHW7mOktcAgordcOrWUk8HpXF2UiLrjXQrZmX2Y/JTlLvJGQJJoaE5cgpMo8FzhY8AFgMCTKVnB1EBUJj2X3jaakErNJQVCLHldg0rfa6ONjhRlw6tl+OQ68VpzFjxy0wDIN2C49j6eGocmvPK+2GZ2w2PF0Pi+ZSzeKtFVmktDzhP4DHIpIwdftNHPqkO1rUqQRA/wDvaCCGhD12xPMsvPn7VbzTuSEWDPMve6MtyOkHLxChygBoLjfD+LR8rYm3IbZMCoLPvMNGFz98GdDX32YP9EVsSh7GqUz4d+YPgJO9FM4Odjj+eQ9k5MlQy9MZ0ck5KJYrEHo3kUvgos4KZ9r9lEqE9Xj4mj9rs9bce5aFjPxidPdWC9mlFRIthea7mv3KWZbM5YYnkZg1jouLWSrDMcozwUNlF0ckZ+uO57GlWktV3BwxoVMD/HHFfFnlTHnPm/oeJ0rH3STjYrQ/7eeNT/v5IDIxG4NXntdab23vaX0Ysix5ODuUKUHIl3srpm7TzfgMfLLzlmicvYuDHUZvuCxYViCTIy2vGBvOxpRbm15pYclQmlZDRWk1l+dqZPJ4WV6I7M/IKZRh6nZlwOSx+0k8YUn3EO9owC2KvYaZKpfGh8m2b+WYtPk699lcXUDBKC14NT2dBO6eumAteu0bVTHZR9iWYa/32dm9IJVIsP1KPH49F4stkzpoxRB6ujhwn53s7VDLU9lXvWsq/dZb1lG7kPrW8sCzzAKDwr8mmhMjXZ+tgaGrlamU+VmRJKUUEi2F5iXlLEtmsNzwMadlSRnnwh4YmLb9BhzspFjzZluTjlOe/UmqkRmjn18NnIhUx37YigseizkD3SUwrcSCtT33Lysv8oyLNWrs5QYA8KtdCQteb4n5/0UI1tvS7TJkBXNzskOhDSg2xLx2WMSKPldE+QLbsZ2XA6t5BSzF4LSqvP7Hvyma/VIzYcTL8lJkNZYZeWqNBBtk+iApR2+RPAcD6afY+gbmS+hbsTzVkxYdMJ+2lwGjdZEG6Kl/dX1ePwDCeLI1b7bRew62Jo0tww4WdlIJ6ld1xVdD/BC3NLjMyVZWjW+DHVM6ooaHs0n7SaUSJGYVcumVBWnEbeD9YGsJHhQKBg52EkxTJSVhhTyzu+GhbHWWfj8fi1bfHQUAjN5wGdceq+qcMMDRiGQcLEUx6PK8R3xh+Z3ODfHFQF8AyonmmjfbYGhA7fI7eTlgb660iAA2XXyM7ALbSQLwqpBZIC4UnPi8p6AOHt8qWs1dO2zAFt59Sw9H4X/HHqDEgG/3otBIfLmvYqxDpSUjT9yNlc1iKTZPOVsBsdWvtLBkCHai+SglFwzDYNe1J/Cff5Rbn5AhNBFqut3xs8Q1CgnVSqeojxK5Ao1CQrH54uPSNN2ssC4GebysME8z8lEok2PKtuu6dlNiYEzaczMBhbxMb7aSopil+w+nsT8sQed6s2X705aV4Oak2zDMaoL5fbJLUy+EfzcAjaqJx+e8p6f+ga2gDuQ3r+Dn7mSPLqWIdbCTKIOGh6+9CIBSh5c3CoZBncoumNGnGQC+G57yv7FFhQ0hkZT+mhy5l4hFoZHILixBiVwhSBTDV66sPf3IJIteeQrfDAM0UWnghwTURhMvd/TyrY6fx7bG0FZ1tCxP1o45H72MfBn2iYwB84b4mXwsNyNiLgHbsfSaSlxqntZkuVFIKL79V5ks63Fqnmiyo9TcImQVyPDoRS7WnVE+N3GZ6uMsGu6Po5/2QMSCgWhWwx0xi4fg14ntAECQAS+wXmWtY1vLe5phGCw9HIV7z7K01m04G4PVpx4ZDC2xBQ6IJGxoUt0NBz/uBkA8QcvsCnAPtGlh6eDd50jMKl3tIAAY0aau3vVsJqhJm6/jckwaQvaH693+n9vCm5yZp+0buv1yHCITsw22jY0zWXKo/ALWjIUdhPn+vKF3EzFjR5hZYgDaLjzOfbaS95JJfL77js515sqIyEBbK96omhv2Te+idz+2CPHeDzqjqpsjPJwdsO29jlrbHZ7Z3SzttDQKblJs2Xaw2Gk0hD/w2oBhietzZagOUKEoGKVAJNEQ8tjrbq5uIUHp31Uf/KGu7fL+NmEB1NUn1d4Oy48+MClZQHnGLCkYBr61PBC3NBgdm1SDo70UWyYFIbC+9uTSFqiIZ29M+3om78OPF9QH6yo2e88dvL3pGtafiUHP5acrVIj6+1YC4lLzzHrMXivOIGjxCQz6+Ry6LTvFZTrbdjkeSVmF6L3iDN7dfA1Ttt7AmA2XELzqPH489gDtF51Ap8UnMWzNBfxw5AGephfgxjP13HBAy5rwreUhUDAOaFkLd+YPQJsGVbhl9au6aiUAsRZhqVCmwIazMRipx0Vt2ZHynS+2b1gFdSu74I/J2nMIMX5/u73JrutiSp/sAhlXTLrEQjHYNiksKRQMPt55CzN23MKbv10tt/PwtZCZpQiKyxHxo/zm3wjRIEJNWB9oawjOT84pEn0Jn4h8gVqe+t2SjBGm8ovl2KaqBWAdryXz8SyzwCwDGMMwWteyaQ03tGtYBWPa6R6U5wzyhZe7EwJ4KdwruagHjAtzeuPz/j7wremB1hpatYmdGqKKqwNsCXNbEMoKvx0Mwwhq4ZhqCZArmApPGsOVT1A9mXcTMtEoJNSg+6mlkDMMJBJ+2QfVf9V686UOl5RqEpWuoTXXTM1/LS691G0qz4kyA+t5psyBMVbBshbZLY21TTNJFEt1D2E2Qna83HMzAecepmDZkSjEp+WXKmsqH1P60Gd/3eHiHMvCRzvCMGWr2kNFJmcQlZSDhIwCzNihLhB79XGa6n86TkQm43pcBiKeZ2OVKpyiQCbnSmD0WH5acA43R3EvDH7cKgtb7oT9byWyEldrsbhEgZvx6Vzyg4qsVSmRAA2ruaKbt3FeFv1a1MTlkD4mnUNsXHR2sIO9yv3u3nPDxobywCaFpdTcIhy4o9Q4lGXQZgc71hyrj/LMsiGG3MS8wrlFJeU2gbnzNFM0JaOdVKL2tdeBseNrXJp5NVTWhDmKCDKM9rV0UQVVj2yrW1ga5F8bN77uBydeog1+MHa9Kq74pK83pFIJBmvEHShdjWwLzoJgJfO6B8nqtKfFcoWoG15qru4sY3ze3nQV3vMOm7eBBhGmDmdrXpx5IF7Y0dIwDAM7iUQr5bm53TNL+2x89GeY4Y14mOLqx5ejxYprlgUFI+IHbMPwJ8AjdXiYvNWxoejyfz7qijvzBxg8h76SGrrQJSztN+BBwMpl/X48Z9L5iksUCJh/FC2/PYJGIaFoPPcQcnS0gQ+r3WdjuLPyZaqYGdPHutC7iTgR+QIj1l3Uu93MXbdNPjaLiwkJSD7u443ZA33x09jWAKzHssQvjjtq/WV0XXoKiVkFKKzAcius5R4AlowMEFiYfh7bWtRbq5q7WtDv1KSqwXOICUuujnZwVCVl2XtTd9gDAJz4vIfOUIOyoFdYUigURv9VFEk5Mm7ABkzLQqOJXMGgiZcbBrSsJbqer0m7m6DtJ1pWCmVyNAoJ5W7+L2djMFfl6ifTuKaTNl9Do5BQ3H+ejV0iCRXe2HAZ3X84rbXcXPxyLlZrWVl85D/q3VTwvSy5/62d9PxizN1/F2lGTorFYKCcq/Ane/aql0fnptXwfyOMT7fupDKLNzTwQpFKyhbEbgnYSbG1aMH5rSiUKQQD792ELOy58RTtF53gEkAAyonIRzvCtNx1Lz5SalYz8oqRV1SC6GThM8MwDGLLqFnWar+GhUYdw2SdKBSsG57yOytscNnwzHSe0rrhXY41LTOloYBtPqwbXjU3R1Q2t0WYsZ5nyhzwf8r811qKblO/ivj70U4igaeLA/r56U8ao+mCawzTeqjHRb47WG0RDw6+cMG/N6ZYGlJyi5BTVCIoSm6M66dmbMx3ByKw+tQjnH2oHWhfXKLQaRHnL7/1JFN0G3NgipXPxdEOH/Vuxk3OrcFdmmEYjP3litbyOfvCUWQGZayxKFSWewAYH9QA3by98Hl/H3wd7IfhbepiycgA9Bap73j6i17456OuRj0TYu7EjvZSo5OyNPFyx97pXbDj/Y4YryoTYg70CkstWrRAy5YtjfqrKLKLFPjf8YeCZfwEAabAMPofovIeHFJU8SQ/qX7PksNRXGY5TUGEddcYsuq8aOzUfSPioCqafdO76JycjOugoxNbwYvJ3Px17Ql2XnuKH448KPUxlJYlicBNgp9pkJ8K9+tg/YHFEokEWyZ1wJ4POhs8r7Vo1YxFoTGptzR8f+1Zu28jI184EWEDU4evvYihq8/jSVo+ol/kIvRuImbuugUx2iw8jul/hqH/T+cE74k9NxPQ539nsfhQpNnaP01VKoB9MNUxTNbZL45EJAmseWo3PHNblkqXUt0UDTegLSwVyuQ6Xa3YttjbScw+wVMwjNXEAZqDOp4u3GdPHYKlrokdu3ztW/pTu2t2tQ0TDHuwvBZYBzumKLX1MrkC1T2c0LS6m2hb+MIF/30n5v4vRnxaHkaLxL/IFQrcepKBLarkUveeZWHIyvMYs+ES18c0haU0lXvp5K03cDchE//dUcdvj9lwCf1/PCvY/nJMGqKTc0Tnbu92aaSzzW92VM4bevhUx5KRAZjZ1xuTeYmJDszohptf90OL2sqyJq6OdqWeMHPvOisYA2/GZ4jWHMrML8anf5Xe4mYq7DyEzyd9vTGluzL7qLODHTZPCtLar7GXG1rXr2zUuKxrbNF8BnRZj6RSCbzcndClqReWjAwweD5j0Vtnadu2bWY7UXnyJD0fPjVNdzswNACU9+DAWsXsRVIhGtIoMgwjOvDrWm4J2jWsIrCCVXZ14Oop6WqirWTdMoVsVf2tsvw2BoyW4GnPE5CGBNTG4fBELBoRgLqVXWAIY1JpS23QD0/BWZYs3BARTkS+ENSm0eTes2yBr316ngz3nmWhaXV3jN4gnNScU2lw15x6hJn9vHH8fjLOR6cCAH49F4uvSpGJi6VQJkfL+Ufx4xuB3DIFo6zezsZKWKmsxKE5KKstY+Y5Pt/iZsrrtoqrAwqyjFfuaXoYzNp9B6HhiYj8fpBWvRFWcLaXSs0ev6R4ubzwMKZ9Pfx+IRYhg5vr3EbKUyVP6dYYv19QCg/spM3JQA1BTTc8Q9a+T/t5A1AmGQCA3s1r4K+eTfXtwsGf0GfmF2vF4uy+/hS9m9fgYp8YhsH8/yKQKFKzr1CmwIh1l1THBb4/eJ9b137RCVRzd9SyqhbwXMReX6O0ePXw9kJlV0fcUXnlMAyDjHwZvv4nHIfClSVDBqm8eka0qYt/bj/DsU97wLumB7ZciuOO98vEdpzSpkvTathx9Qne7tQQ/VSlM8ITsrDxwmO0rFOJi80N/aQblu6/ig8Ht9MpDBuitIXIywMxQQkAErMKy8XrSReMkUqTT/p6c7Ue+RhlWRIxWRSL0AAAIABJREFUlCkU2kJad+/qiEuLN9wYM6FXWAoK0pYQxUhKSjJLY0pLYlZhqYQluYLhHojN73bQsuaUp9CRllvEpcDU7EDJ2YUGA7k/2hGGdW+1w7+3n+HRC7WmsahEUeEFAht7ueGxjqw4/EvIT/lZGhcFWyVPpekrS+ZARuWH5+WhLkrLF7LdnexFNTqlZcf7HXEy8oVVaNVMgX2ErUVhUJZ8DKm5RRi6+gIC6noiQkdQ608nHqJrs2paWdXKwj+3nkGuYAQxAgzDCKq3G5OiVq5g8CAphyteXd7wJzWaFjCuX5hpys8ex9Snw1S3cU2lGevmNHHjVUQ8z0bkwkGQyRVwsJOqhaVysCwxYKzGWmsOKrs64upX/fRuw+8rXrwECw2qGhcPYSeVYN/0LlyBTdb6X8XVARn52nFBn/bzAaAUlm583U90sqkLfr9KyipEw2pu3PcnaflcbZ1OTarirY4N8cPRKDxNF5+Ab+UJKnxBCVBakNI0kpS8t+U6YlO0x//MfJmghtF/d57jv9vPcTJKrTA6EpHEtYuNEQKA/R92wUiVwNbTpzr3PzigNpp/7oFmNdTzPQd75X3iz98kEgmGt/AstaAEqIUlU5+lohI5SuSM3tIeppJXJK5gYb2TKgpjlSaf9/cRXW5MHJ+YG57mklF64rTLC6PvZkxMDH744QdER0dzMUoMw6C4uBiZmZmIjDSf64eplDaVID9YrXdzbU17ec7nB/x0Dp8PUHYoe6kERyPUAmfHxSdx/LMeevc/FJ6EQplcK+iRFZYOhSfiSmwaFrzestwnjqe/6KWzhhR/wOFPsHQ9NDY2NzcK9ndLy5hORQLgt7fb4/fzscgqkKFVXU+D+5hKL9/qKJTJ0aWpF05FvrA1wxIvZsnCDVEhN0M8Z7hIXQ0+5kpPzyLm5qs5YVh2JAptGlTG49Q8PEzOEY37WHf6Ef53/CEOftwN/qq+KlcwWHUyGu92aYQqJkwGjUEwWVL9Z5eoEzyY51zqbHtsNKFxmKp80FSasfvfUNVmepicg4E/nwPDAIP9lVp6e2npMvXpQ6HAy2VaMhF+vISmRU8XEokE7RpWQev6lbmYxGvz+uJCdKpWuYlb3/QXfPdyF2a/M4XY1Dx0bKLM5BeekIXX1qgz1l2JTceVWP1JmfYYCKDX5FSUuLX82/8i4MUr8qovQYOmla5tgyr48Y1A2EklcHaww+W5feDuZA+JRCIQlADAu4YHxgc1wHtdG5nUbkOwt1zfszRx41V0beaFD3gWwCErzyMmJQ9xS4PN1pav/la+kwf718Lhe/qNE7P6+2DVqWjRekRlpaxKE2Nix8Tc8Nj396WQPvj9/GN80rcZlh9VhjV8HeyHoxFJuB6XobWfOTF6+vbNN98gKysL06ZNQ0ZGBt5//30EBwejoKAAS5YsKc82ijIkoBZ8Vdak0nYKhmH0TmDL1bKUV4x5fysnOXZSKS82QMnKk9HcZ11m4C9FCnEFLjgGAPjwzzBsuxyPyETrSZzQhyeQ6rq2tjY5N4ZilbBUlv7EulfWrOSMecEt8MPoQIEbnrnYMikIu6YqY5mkUttL8KB2w7OOmZ2uJCjDWtcx2zkqIjmK2K/Yfjkec/eHY/PFONF9IpOU1jC+1fnswxdYeTIaCw/eh0LBYNjaizhyLxEAcPFRKgIXHNOZEcwQrHZ9Wo8mvJgiYfvN1S3U8Qym7WdqUhxdwhLLgJ/Ocb+RnUTZS6UGY8oiE7Mxa/cdNAoJxRUjk05YyzNV3rDFd/lu02X57aygpWAY1PBwRlBj7Yxg5lQc8BMJ8QWliubcwxTsD3tm1LZOIrV4Rrath2GtldnVanu6cHV2NLGTSrBkZAC8S+FdpA+JAcsSwzA4H53KZQrOLpRh380ExIhY2cxFHSNc7IvlCnjXMO+1YBFzhzMFYyxLfCvpynFKayP7jqtT2QXfvtYClV0duafTycEOY9rVL3WbjMXo2da9e/cwf/58jB07Fi1atECTJk3w5ZdfYt68edi9e3d5tlFAdTelBmLuYD+sfrMNAKCklNpbOaNfSq4o7bTYnPfg3UTuc+O5h0T34wdR8uEPsKm5RWi78DiGmeGl+dPYQMH3xl5ueKujdvBkyzqV8M3QFgCEkxN+xjZbd8MzxUWCrZVVll/MoOLTYUtgHcGtpqB2w7NsO1h0DbQrx7Wp2IaUETGFTWh4osiWatiU+WzK29/Px+Kbf5TFNIvlCuTL5LjzNBMf/BGG6OQcLDsShawCGaKTc5GaWySY8O+9mYAP/7yJ/OIS/HAkShAYfvFRKgZvjUV8mrJ0QlU3R636UOZPHc664ZnoVqejQ3RtVg1Nq7tpLY9+kYsslcvWrScZRpUhMMYNb9jai9gXprQgHNAxjvBRMNoxky8rbFIW/rSiLN2G1aazLpX1qriiahmEo+6qGjfdddS6YWNkrQV7qQTvd2+sd5uKDh0wBnVcovjDxHelLCiWo9V3xzBrj9piWB6lXNi4NhZnB+3JY25RSbkl/Cprohdj5n38OUfzWpW0lrEIMpyqDutXu/xcvo0Wluzt7eHhoZRWmzRpwrnddenSBQ8fPtS3q1mp4mKPuKXBqF/VldPYmJJelQ/fDU8MY7RJrBaqLJg78zp/8Ht70zWk5xVzQZZloVYloVZj87sd8H8jhNlGfh7bGqGfdBdkqAGAxSMCYM8z45WmBoU14e5sj3YNqxjeEGo3hbJoJxUGBPtywfbyO1hdUVoxS4KphX4/7eeNgx93477zXVv4nPi8Bz7o2RQOIgljykpChnh8gz7Yfv/vbeX7aFFoJBeofDchC50Wn+S27f/TOV6gMoP2i07g4123cPx+MhqFhOKLPXdwKDwJs/fcxbozMdhxVZ04ZpeqlMR1VUFXO6lESyts7tThLKbqEnRnepJiao8mWsu/3HsX0/64gTtPM7mge0PY20m5yYVCwYies5jnEv3CiLgH5iVLHa6Pj/uwiRYMa/F1wXfB4luWWMQsKYbYPjkIZ2f3wq8T2+PqV32x6d0OqFfFBT+MasVt42AnwePUPJyKSi7zZH2AKoGCPrxruBvcxtPFAfOCW2DhcKWydGKnhhitUUi9NNejvOFilnQ8s5m8zKZz92t7+Wy/UvrkA88zC5CQoX3/PJwd8K1KEQ0ILU1TVHOu4a3F64aZA1MT2mhijBueMPZM+V9caav2ImGP2sIahKV27dph48aNKCgogL+/P06cOAGFQoE7d+7Ayan0/rVlgQ2YLG1Ve4XCgJSsZ52dVIIbX/dDzUra9Q9MxdxaAE1/aHPQtLobWtXzxLnZvbllYln8hmsUJePXOxFoFXRlw7MRS0aJnDEq6xyfvOLSa/wsURPSlrPhWcu8TqxCPBtY/klfb/xvTCCGtlIXA943vTNWjW+D/qqJSrMa7vi0nw8X8wOAc5PUpEYlZzjZSyGTM2Z/jnQlcDGGSzFpuPQoVbDsSXo+V9BSkw/+UBZuDb2bqJW44qEqLfiRiCScfZgChYJBxHOlkMVObgTvGdV1MLcbXmkFB7HgZQCwk0CgTOJzJTYdw9bqL9jJx0Gqtix1XXYKnZee1Lv98fvJBo/Jr6/yMiOVAMGtaiNuabDA7assjxPbH/lWxdIIB929q6NhNTe4ONqhZiVnONhJcWFOH7zRQemCVMPDCQyjvJ/vbbnB1V18t0sjXAzpg5Ft1WPz2Pb1cXluHywZGYDf326PFWPUXiMrxgRiYqeGWD5a6EnCso9XIHfn1E4G2z04QBlLN7x1HbweWAef9PXGouH+WPtmW84yYmwcWEWitk6Lw7+f/9zWts6ejEzG5Zg0pOUWYcXRB4IEV4bosvQUui1T3r8/VEIXq4B+r1tjrpDy2jfbcgJrw2quiFsajMD6lbnjNKrmCneRRBNdm1VDh0ZqZW8lZ+PSF5Q1ZskYPR5fWGLn1xM6NdTajjUySCRqi1LXZtVK3TZDGJ3gISQkBB9++CF27tyJcePGYdu2bWjfvj0KCwvx0UcflVsD9cFO1ktbmFbBMHrNgkV66jdVd3eCl7uTqMAgxid9vbGKF4dkK6we3wZDAmpz18nNyR4OdhLI5IxgcF85rrXoQ8mf4vOtSbomc7FlmJSVBVNTrssVjKC2kTHsD3uGH99obXhDEcgNzzisrSht7+bVsfPaU8Ey1s2HzRg0ql09zBmUjzsJmWjXsCraNQQC63ni+P1k0QG2WQ13PFg0CBJIMHnrdZyPTsXsgb6o5OzAabHlCsbod5O5yMgrxp9X4yFXADM13EXe/P2q0cfRl+Hpucoyde1xOq49vgZPFwdkFQjLEbDXgC/rmzuWrbQ1WOQKBhM7NdTSOttJpWa7Xw52UjCMUhDlp4b+6M8wnI9OEY2PMfT+U75/rOOZKk/0ZchbNb4NWtQ2PRbku9dbYuHB++jIi1Ua1rquIC65rJyc1ROeLg5ov+iE1rqqbo6oW9kFP77RmoshWjZaaY3i1yByd7JHVkExRrerh9Ht6omO0b19q6NN/cro7u2F97o2hpe7E9o2qIwwjYKy57/szQlrbPIXD2cHrBqvdj8OblUbH+1QKkaquVlG4a4PQzFLhpT0MSl5GP+bupCsk70UH/dVvxeLSxTouuwUUnKKMGdQc/jUdMejF7mCAuUKBcMl8OHX7Pu/EQEY26E+/GpXwt4PumDpkSiM5sXtjG1fH3/dEI47LJvf7YBOTapBIgGaf3MEAIyOfzbkjWUIYyxL/LAaTxcHnYky+GVC/Ot6Iuyb/mVybzWE0cJS06ZNcfToURQUFMDFxQX79u3DtWvXULlyZbRuXboJYFlhJ+tlEZb0DQDdvKujt291riAsH83K9oaY3K2xTQpLdlKJToGSP7gPM2D6ZRjAjre9rrSamfkynI9OwX+3n2P5GHHNlj4KiuX4eGcYvg5ugb03EzC2Q33Ur+qKiOdZCF6lHbfVpLob8ovkSMouRFU3RzT2coNMrsD959nqOlhSiWgfc7SvuMmDsp9V7GRFKpHYmmHJ6orSfj/MH8Na18W4X5WD5oYJ4oUs61d15eqrAMqA5lqVnLnYP03Y7FFbJwVBwTDcYGfHUyAZKANjVg7ceY6Pd6qL6M7o06xczpOnITyyghKg1gSzA7IEvAQPZnbD47LtlSLBg5gW3U4KOJYhYYtvTQ+uGK+niwNuP83E2F8uC7ZhY8zEYloiE3PQ2MsNmQXFqO2pbTE3tr6KrWOv50e+Hli6pCxNq7tji0ZZh5l9vfFet8ZcQqay0rS60rrQrmEV3IxXZwVrVsMdQ1SWHUCZjU+X2/8g/1qC7xKJBI+XDOFipqt7OGFGH29IpRJsn9yR247/rp3QqQGm9WgqeJcZo1SspsO12JIIM15qY2qyltziEoTe/f/27js8qjLtH/j3TE2ZFAJJIKRCSAgEAhiKdKRXQSmCrw0UZF0RUZYmSAkB17Wt7Cr6sq6L6E8X0dW1gMoLWLCAIAZCJ/QiEiCB9Dm/PybnZCZzJpnJ9Mz3c11ewsxJeCY5c+a5z3M/930eRy4VYfagNPxrZ4F8Y+iZzw8qfs1Js1RK89XIYJ1arngYEaK1ar46vV8rOViqPf5bWzdFkFaNssqaa6m9mQhGJ1Nc7Nl+UW5HWwoACK/O2gjWmeaS7gyUAAeCJcD0A7127RouXzalVLRubSqXePr0aSQkuL8aRW1Sbn6DS4cb6y7nLPWusVUWG4BiB2olEcFahOk1cnftP/Rvjb9vO1bv192S1AS/nrmG8iqj6U6p2TkdHaZ3e539uk5trR21sM3fG+ZvFK1ahUcGtMbf/s/6Z3DPuh8BADnjMq1Kiq7//iT6tYm2+e9tP2xq/HnwQhHOFJbgp4IreHfGrXh1+3HF4837Q1y5UY4rtXpIALaD8fRa1XdaRgbbbB7nPM+nwQiC/60s+VpTWq1ahR6talIDhmW2qOPoGjqNCt8vHGjx2DN3dkCraMs9AiqVAJXZu1SjkPLjCeaBElBT1MGTpMx16WegEmpKaIs1B7mE3LDSga8RRRFGEQhSSMFSqwTEOJHSXWRWQVClAkoqqvDDiZoS0eYTIyUj/vo1erSKwvfHr1jdyf3h+O+4XFweIGl4zr3I92f2tCulSaUSEBGsxYYHu7s0UHj7oe5Y+tF+TOqaiIhgLVJq7amOCXPsHBMEAZ0TIzGlWyImZCvP8aSbE28/1B23tmrq0AqktMoa4pNpeNZ7zcw5WoXZaBTllbRTv9/Epj31Vwrcd6Zmlam+JsjmpObD/9MjCS98YVlTQLopY5HpY+83dnZlyY6vfW+XfaXrnxySjhYRQRjZwb7PVGfZHSxt374dS5YswaVLpk270rK99H9v9FmS7qY2vMCDaNeEvy6l9XwIATWT6tr56h8+0gsHzl2Xa+gDlp3C/+/J/khpFoqPfjmHWe/swaiOcRbFG34rKsN/H+2Nskoj7nzlO2TFRygWcpg3rK3NOxf1qevCp3YgbUSE432Gln98QC4g8f7uM/gs7zy+zDedfxsmJGLIC9vRPz0GC0dk1Iyp+h+5eN2UfrLn9FUs+3g/Pv7lHCJDtFg1rgNulFchJkyPjvERKKs0YuPuMxiW2Ryx4UEorajC53kX0D0lCqkxBlwvqYRGLeD8tRJcul6G2IggHDh3HSpBwJD2sVj6salpX6eESKyZ0lnOM66tY3yEU522vbFnyfzOvL/wtaa0rjSpq3Xlydqk1fYqN/TYcEThDdPkfcXt7bH4P/ttHhcZosVVhQad9qj9niqrvmkmXQMsttz5QBpeTdNY6wuhShDkie3E7Hh0iI/EpOwE/FZchl6rt9b5fZeMaic3D507NF3uP2Kuw9P1r2BI/Xcmrd2JNVO6yBOuSdWror6yWutOtj6jeqUqV56rzd6iP45+X3vpNWqsuqNj/Qc64IM/9Krz+SWj2mHRh3nolBBpcd19+8HuaNmk7n29y29vj6dHt/PJ63V9TWmlm/SLR7XDilrNe5W8/vUJ+c/2BEqAZW8qnQP73MKDtDixagQAWAVLUnBrnjFk72XM2Wp49qThSep7LwXr1Hiwj3VRHHexO1hauXIlOnfujJkzZ8JgqL8CiidIdxDLq4w4f60Ev5y+qnjntqyyClvzL2FYZnOLN6UzFcZerO42HVWda5vRIhz5Ngo1NAk1LRd2TY6SO7BXVBnRKSESnRIiLYKlcV1aysFSctMQi9dZZTTicM5wdFy2GaUVRnRoGSFv/N7wYHfENwlGv2e3Wf37Q9vHOhEsKTxmmkbXmbJQc2w1UXS4At6GH05hULtYXLpeinnvWzbKnL/lPE5fq8Dhi8V4bcdxhAdp8MWcfvi2eiO5dNenvNIo94FpGRmM4Qp3IR4ZUJMyZNBrLDYTSh3AU2Nquoa3jrY+/8d1bon4JrY7u6fGGLDvzDVTUZEGXG2crULTEDW9ahzbz+VNvpou9If+rRET5v68/Jp9nC4usemgLQdMPX+a1tFc85W7u2B4hxY4dMHUWBUA2jYPs9k3akxWnEW7hI/+2Nti1V/aYyrFIgJq+oTJQXSDXo1tjtxMkG6WmU9SRnZsgU/2nYdaJSAqVIcv5/RDQlSwfBe5ZWSwRTBUW0SwFlN7p2DFJwcgirZX9ModyL744cQVvP71cVwuKsPcYeny4z74tnI5W/OB9Obu6VvTGGS2jMB/HrEOqHraEQgKguDxvZX2qu+GiLR63ybGAJUAzOjXGm99fxJFpZXolhKFH0/U3fzXUY4WBanvM7v2XNgeRidv2prPGTu0jLDZcD1Yq8ZbZqmevsDun/7FixfxxBNPID09HS1btrT6zxukXNi/bDmEW1dtxcNv/YxfTl+1Ou6lL49g5oafseOIZUWmKtG+O9BtFS6UUr7oCxOz8Oc7O8olxGsve5v7+91dMDHbVDJTaQl3QHo0mpulYkhj658ejf7p0Zg3rC10GpV899i871Gv1GbynUBJVrwpkHLkjkRtSh8eD/c3pV/ak4tskYZXaxYr2PG2e+CNn6wCJQA4fc3ybvT10kp0z/0K//yuQPH76NQqucGZO9Q3QW8SYkq1sGclUokI0a6flys5ui/PF3ilxLod/jSsLe7vleL2f0ct31jx7i/tQnVhgWHta/ZBfPRHywmV1FvFfCIqXWvffqg7ClaPxHfzb5OfG9u57j0jZZWWK0um0vfu7bPkSB6eFL+aXwdn9jNdS3tXTyxTYwxW6TZTzdow5I7rgMfMNolL1+C9S4ZgVMcWuL+na86xz/MuYNOes8j5pCZjxF9umDjD3/v/kevIqba2Vpaqr7GhejWOrxqJecPaYv207rizSzz+NbWb8hc5IVyhsqrL2Hkdc7YanjQXve/WJEztnWzzuGZhOp+rkGj3LLpr167YvXu3O8fiMFM/DcuT+UZ5Jf6z9yyGvLBd/oCU9vVcuGa5n0QURbtKGX46q4/N55oa9JjYNUH+UH5ySLrN6h2heg06xpvKOpYpbGIbnRWHpgY9dj81CNvn9pcfD9Fp8M8HuiGpqSkQk+4S1n7zBJs1dts8uy/+/XBPHFg+1KFcV4m0H0zps2PO4DQUrB7p0AeLUjWlvmm29x652tyh6fLKkFtUvzYpQK1N6q1zo6yBwZI3Vpbg2L6MPacK8Wn1JvIrN8qxq6Bhd9ZEUcSZwpuKm05LK6rk1VnJ78Vl8uTc2Wo9/k66c1fh5WDpdOFNpMYYLFZRO8ZHWvSYMr9+PNQnBW/c3xUrxmZi0YgM9Egx3YyS+oh0TW5iUcpZKnX848KB8g0o6Zpas2fJrMBD9de5ai5cu+mtPaT9reYr7JktI/DTokE294NIhldvvp/SPRGPD06TP5Miq3+eEcFai9Q5e01RaCoO1FT6Mn8vBcLbKhBeI9lHeo/b6rMkpeGZVwXulBCJ5yZmuazJbr+0aKyf1g0hOjV6tnZfWWx7r2JGo3M3TaS9k8nNQlHXYnd4kBsDwwayOw2vS5cuWLZsGbZu3YrExERotZYv5rHHHnP54OyhVaksUgw0KpWc5/nSV0fQs3UzfJ5nSgm5WauSUpXRvijZnrSpRwak4pfT1+qt865T6A2Vv3wYdp8slL+2qUFfZ/qK9LXBtd6QgiAgSKtCaYURMWF66DQq6KBq0GZvvUaNiqpKt354dDMrpQqYypTX3ijujPtuTcKbO08CsF19z1WkU2TWwDaY9uYuDEiPxuGLxXLBB6nC1OXiMocnNEB1sOmqwdrJshqQgMvFZfjDhp/x7PiOcuB+5GIRBEFAaoxBbppZsHokHvrXLuw+WYiDK4bh6KViXCoqxfKPD+A/j/SWUxuVHL5YhCEvmFKylo5uh/t6JgMwndsl5VVY9MGv2LTnLL6c0w+p1f0lbqkul1uweqTT1Xr8ndpH9ixt3n8Rt7WNAQCsmdIZodUVi35cNAjHfivG81sOW7z/F42sqfr3UK3mrPuWDoFeo8KxS6ZiLMlNQ+SmljHhQZjRrzXe23UG3xwxBdHSNd2Uhmf6OdSk4bloZan6/45cWkevMVXjrP15Ys/1YM2ULhZVoqRKnF0SI219iV2U2z3UZD6Y30z0pxXmhqqdKv71nwb4ZMNUcr/69ixJ75H60gj3LB6MQxeL5IqoO+YOwJKP8rCtVpXlh/qkWOxrAkzZRn3aROPA8mENeQl2szcNz9k0d6m+gNascbYSKRPHl9g9g9y5cycyMzNRWFiIwsJCi+e8uTwfpLUMlrYduiT/+cUvj+DFL2vKdd8sr8L10gr8VlSGoS/sQKVRtOiA7Iz2cRH41ixlRNK2eRhyqjtXA0Dn6g+3gdUTCcC0Ua13G/s3ekrnmNLdC+k589S7hpSk1WlUQJnnfrcnVo2AIAgWwdIvS4bgXzsL8NwXhxHfJBitow1Wqwp1Gdu5JS4VleGzvAsI1rn3A69TdSM48+ycb+ffhpe/OoLnvjiMxOr9Zxeul8oN1Bwh2pky6ko1Odum///t/47ixxNX8NJXR9AmJgwP92uFwdWBzYYHa/KLzfeRnLpyE6NerinZnrV8C+67NQlfHbyEER1aICZMj8yWEfjg57PITm6Ck7/XlEpdu+M4ln58AO3jwvH06PaYaFYKedDz27H2nluQINRccGf/vz2KzQEDibaBe5bc0Qy6TawpmB3VsSZ9TqtWoW3zcLx2b7bd30e6yyhN7GunMEtFeqReLxZ9luTS4a7dtCS9F//61REsHtXOapX9WkkFrpdUICEqBMd+K65eLS2xGJ8j1CrBIi0lNSYM/5razeqGk5J3p/fAum9OYMuBi5iYHW9RberR21Lx2g7rSqHl1XeAzfdd+FtlzIaoffPUvAQ2BZb69yyZrrG2tiP8eXxHbM2/hCahOvRo1RQLhrfF5eIyJDYNwUuTOiNr+RY0M+hxudiU+bRoZDtEh+mhVauw7OMD6NOmmXyz0BkLR2Zg0Qd5eOehHvit2LJ6csHqkVj5yQG89f0pu76X0ckMF2murlOrbN6oAYC0WN/bI2h3sLR+/Xp3jqPBQvUai74RdZXjvlleiY5LLasCOfK5lRUfgeYRQdi8v/6O55I3Huhq0beiTWwYDucMd2of0Yrb2+P5Lw4rvknv6BKPd348ZfH9g7TqOgtQKJECLGfnFnIqVz2fs9LkI2dsJp76MA8hOjUiQrSY3q8VbsuIQfs4U3pbaUUVgrRqHDhwAEmt0xCq18iT8x8WDsSWAxexZusRXLxehsgQnZymUqTQW8SVpPHVfr2PDmyDRwe2wfHfigEA1xpY+cuRdB9XkQs8VP/bh6v7uEiNDc0/RO620XRUWiUyJ6321Z6kvbvrtDzZB2oaau4/d90iUJLMWL8bI9JqLqqBHigBDd+z5EzWXs/WTfHdsd8BwKIv3ZB2zev6ModJ17TaxQpqV+WU/i7AdA5dLi6TU/RcnYb3z+8KMDAjBqF6DV7bfhzLbm+P/PPXcf8bPwEwTUYGPrfd8mtdNAhbacz/92R/DH9pB0rRKqAKAAAgAElEQVQrTK+5XVw4uqVEYcuBiyg0u/58O/82i9RGc6XVP69zZk1tAyFYcnQiOOGWeJRUVOG/+867Z0DkNYJg2uZx4vINFJdVWk3upWusre0IE7MTMNEsvXZG9f5EAAgP1mDWbakYlRVn8Rk5va/pmAdcuL/17u5JuLt7ks3nTf0U7VxZcnLP0n23JuM/e8+hb1o0YsL0WDE2E4urm+6ae3xwG4Wv9i67g6UPP/zQ5nM6nQ7R0dHIysqCTufZ5TNH6vMr9fSxN/D5YeFAhAVpEKRR23VaSXc1ld5IzgRKAHDPrcm459ZkxedyxmZi/vC2VoHU7EFtMGO9/XvOpDF6ev/H//RIwuisOPnnpteo5UAEqFlNEwTBKrWuaagO9/RIwsC2MfjP3nNIbhqC3qnReOfH03LamNvZ2PctvZ4GTzi8Ug2v+p+20ehVqUSxsxztXfHpYeXKaYFK3rPkwM+xuKzS4UqV5haNzJAbPkurJwDQOtq177mYMD3GdoqzutuqrXWNlV6LShDwya/n5WasgOtWZ6VGiADwe3E5Pv31Aj7fb/rPXMelm62+1tYeCFdJaRaKHxYOkhueBmnVaFmdQRGqUyMsSIPccR3kx5QoNYb08jY4j3D0/JAap/933yfon+65PbjkGaIIfPTLORhFEWumdMGlolI8/u5ePNyvNXZW3yBqSPsZQRAwZ4ip0uQPCweirMKL1UsF+9/bRiczXLISInEsd4T893t6JCkGS7Zu4niT3cHSpk2bsGvXLuj1eqSkpEAURZw8eRIlJSWIj4/H1atXERYWhtdff11uVmuvcePGyeXI4+PjsWrVKru/1lUb6eoT62DDwIQmITh15aZjXQtdQF3d7M7qcQdPcOkOv7NzCynf25G7qUrjt4fUvyQuMhgzqyv2jezYApkt+3ssWLL1KuvLf66PN6q81V4lM4oiuiRGYkB6DJ4z690wpXsi3v5BeRn/0dtS8fLWoxaPjerYAolRIfj7tmNoHh6EqFAd4iKDMLhdLOa9/ytmDWyDmDA9nvowD92So/CjWaGI9NgwHLrIAMkWuc9YUSnaIRyHLhSh4PcbGNreepXnkbd/Rutmofjr1qNykYSG0GtUeHNqN3x39DI2VwcLb07thkgX552rVAJevKuz1eO1b0hpa2qHW3HVOygqtOYaNfvdvTaPu66won29pALD2jeXW0q4Q5jZjSStWoXB7WLxyIDWuL9niuLPUNKnTTN8XatqrMTdQZ4/O5wznJX0GrH/7juPNVOA7Yd+w7dHf0fB5ZvyfmRnS587Ord0NcFUNtQupjYi7h2Pr7I7WEpLS0NoaCieeeYZhIeb9lwUFxdj0aJFiIuLw5NPPonc3Fzk5uZi3bp1dg+grKwMoij6bJpfQ62f1g3/3nWmQZv53cGeBrJPDE6TJ8G66gp6zk7QHxtkWk51ZjJWn/nD22J9dWqXEo+tKpmpvQekIU0sLb4fPL+yZF7x67Nfz+Pbo7+jW3IUBrWLlc+TJwan4dGBbVBSXoXB7WLx2o7j2Hv6KpoZ9Fh3XzayEiLlYKl2lcg/DWtr9W9OzE6Q71wNz2yOIK0az24+hH9+V4Dlt7fHsPbN0S33K6y6owMGZcSi60pTcYc/DkhFVkIkth68iO2H7N/X1thIK0sPvPET8pcPk/sXFaweiSqjiOKySvlmxCdmqUP2dk1XolWr0C8tGv3SouV0pBYRnpsA1J6kSqvi7ny7hOgcKxhjnqrYJFSHV++5xR3DkqlUAga2jZGvNxq1CnOHWr/fAFO58qOXTGnCr92TjRF//RonLt+wOq4xp+E50xwZcD5bhHyf+V5cKVACrAtt+RtT8257Czy4LpVZyf09k+Ub3b7GoTS8d999Vw6UAMBgMGDWrFmYNGkS5s2bh3vvvRdjx451aAAHDx5ESUkJpk6disrKSsyZMwedOtnfDyeyjspa3pTUNBRPDk2v/0APqW9TcWSIVq4uBrhuwhEWpMVTo2oqXQVr1RjXpaYv1wuTshxOvart4X6t8XA/33iD2VqirunZ0MBgyQtF3swLPMzc8LP8mDTZvr9nMh6t7vnyQnWT5p9PFmLv6av46+ROyKouejG9byu7y4ib//ykipBLRrXDwhEZ8jl5LHeEPEFeelssWrSMl1dOBreLbfDrbQzM73JmLPlc/vPa7cew8/jv2HboNxzKcW1lJfNgpdxGpU53igjWIlgroKTC9N6SVrPNzyWDXoPiskqH0rbrYt5Pb+GItsj91LLp9/DM5nh5cmcIgoAt+y9gaPvmUKkE5J+/bnGddad193e163rTOSFSDpaCdWqb1d8c6Gvrd/77aG8cPM8Va3KcIci9lXbdzbzFQn3cneHSKjrU6yttttj9Ww4JCcGRI0esUuyOHj0q71O6efMmgoIce6FBQUGYNm0aJkyYgIKCAjz00EP4/PPPodEoD81oNCI/v6ZRXkakiG/t/LeGpIZh6/EimKdj908Jtfh+jdWZ8yV1Pm+sqsKZszV3l/ViOQBg3+ETaFLhujv1m6aYNhpKP/O21aeLo7+D0tJSn/q9SWM5fdZUza24+IbF+C7fMKXjnD13Hvn51ndt63Pt2jVUVFR49DVfumSqLnbwYM3epNKSm7h2vgCvjIlHQoRgNZ7RyUCsJgaRZZeQn286b8alAONSotwy9qxoNYJUhcjPL6z/4ABw7oLy+3zVZzWT+fSnPlc8pqGOHj2KIoMpgC4tN92dP1NwHMUXPRcwTWgXhn/9Yipgc+ZkAdTXdRCNNa0iWhjUiGymxcGDB219C4d9dp9U4rwczw+PQ5UoYu7nppW1uzN0OHLY9L5J1gCHDtU0Sz9q3Tfdq+5K1+Df1dtZ8/PzcbVY+RwqvHrVp665Spz5XGgpAPn5DesNR77HU3OEo4ddv3fXk36/fAVGUbTrZ1VRWYWrhYUu/bm+eWciXv3xMnaevomrly8hP7/uuaq32B0sTZ06FYsWLcLBgweRmWkqhZ2Xl4cNGzZg2rRpuHDhAp5++mn069fPoQGkpKQgKSkJgiAgJSUFkZGR+O2339CiRQvF41UqFTIyMuS/P5laBSH4EHYcvmy1l6H2foe10/rggX/+JNe3/++jvZHZUrmJaGNzXf87ANsVe9RqNRLi4wGYSq//aVQWxr+6E4OyMzx2J9QR+fn5FueB95gqukljSWxVibfybmDF+CxkmJ1bl66XAjiF2ObNkZFhuzKNLWF7SqAvvu7R19z88nEAV1BuiAVQAAAwGEKRkZGBukaRlVnHky7mO+eBbwiOvgFs9mxlrn7ZHeRVnCrRlA6b2S7do5t01b/WVEtsm5aK5Gah0GjOAGWmmz4anR4R4cFuO1ekbzuoazlC9Rq/S8van56O4rJKxIYHoRLKKZmGsHCff6/xekAS15wLx9E0VIfdiwdjznt7senns1g2pj1KKqqwuvoGlL+fb9GnD0HEVbteh6A6haioKJe+5gwAIdFXMOHVnZjQt4NF9WhXcFVgZ3ewdP/99yMqKgpvv/023nzzTWg0GqSmpmLZsmUYMWIEfvrpJ3Tu3Nnh5rQbN27E4cOHsXTpUly8eBHFxcWIjra/qkyQVo1FI9th0Uig1+qtFrmk8U2CMXNAVzxQXcZVEASsmdIFmU+bKhQFSqAE1L8J0TTZqTkmOznKao8J1S9Ur8Hns/taPS44WeBBBDyehyeNecrrNWXBPV1kghzTsolrP2jqMzE73iLdbc2Uznhl2zG5Ca2nVJnlkSilEFcZjRZl6d2lSajvNVO0R6heI1cXfXlyFzy7+SC6t2qKV8xacTTmPUtESt6f2ROJ1b225g9vC4jAnbfEw6DX4M3vCuT2Fv5MEAT7G06L7pkDdPWD+aZDn2hjxozBmDFjFJ/r2rUrunbt6vAAxo8fjwULFmDy5MkQBAG5ubk2U/Dq0zetGd758bT890UjM+R9D5K6GmE1Zmob5S0n3BKPf+8+AwGeLyAQSORiCc6UDnfdcOyi9O8xWPJtWrUKeo0KEcFaXCoqs3p+y+N95b4eueM6YOEHvwIA7ujSUu6fVZ/RWXH4+BdTTyuh1llyW9tY3NbW8/vGzN9WcrBkNrTKKpHVyux0a+um2PSHXnjnR8sKlwyWKNDcktRE/nNMWBCen1Szn/7LOf0US+z7G+mqaKp0V/c10rRnyf1j8kV1Rg4vvfQSpk+fjuDgYLz00kt1fiNHV5QkOp0Ozz33XIO+trbajRhrB0qBzFbpcK3CxIJcTwoyHG0WKhFR/4XM1ZQuioF6ofQne5YMBgCcvlIiV8OTtDIrTDCleyKGtI/Fics3LCrj1Sc91oCPXTNUlzEqrCyZv9UqjaJiE2+yrXahB6P/zwuJXMa0GuvtUTjPvJ9ifVMMoxf6PfqKOoOlXbt24YEHHkBwcDB27dpl8zhPT+JsMf9w7J3azOZxL0zKwm8Kd10bM1t3Vc2DKN/4LTZOzvZZ8k41POt/kStLvk8qa53ePAzfzb8NPVdvxaiOLbD6zo5yLzKpWl0zgx7NDHqHyq37yvXenPn7Slf9GivMyrdVVhm5suQgvcayQEdZZZWNI4nIX8mVeu04VoTn+z36ijqDJan30b59+/C///u/0OtNYfTWrVvx7bffIioqCuPHj0dsrG+U6zVvmvfSXbbLj4/r7L6eP75K2rNUu5/EgLbRWP/9yeq7CoH5JnDG1F4piIusvwKklAXpVOlwL/VZMsdzxL/ERQbj3ek90DE+EsHVZbP/3/QeiK+1tynMgfK3vhh0KAVLlWYtCc5dK/XInqXGpPbKUnGZdYNdIvJv0lXRKIpQ13NL1hjA88Q68xKuXLmCO+64A5MmTcLZs6Z89n/84x945JFH8Msvv2DXrl0YO3Ysjh8/7pHB1kdV/SH+4qROFil47ePCbX1JwJAmOEajiM6JkfLjTUJMG5KZj94wS0a3w4N9WtV7XM3KkhNpeJ6v8GD1EDOZ/E/3Vk3lQAkAerRqivgmIRbHhAcrV647sHyo1WM+GCvJ76vZg9rInwMVtRoD+WKQ58v0WtObXdrnW1TKYImosTFPw6uPGMB7luqc+rz44ovQ6XTYsmULWrVqhaKiIrz00kvo2bMnNm7ciDfeeAMTJ0502Z4jZ80f3hb/0yMRwzs0t3j8/Zk98fPiwV4alW+Q0u1qvyHkIMoLaV6BxCVpeJ6OlRQeC9Ql+MZuXOeWio8rBRjm54CvnA7S+yrIrBluZa03m8ZGkRtSJv28pFVHBktEjY8gp+HVPzkJ5D1LdX56bNu2DXPnzkVCQgIA4Ouvv0ZZWRkmTZokHzN48GD89NNP7h2lnZoZ9MgZ28Eq1zpIq0aUn5Z0dRVp0lMlihaTYDlflStLbiVdYBq+suR5SoERg6XGKUirxsC2MVaP+8s50CPBtFJW115VTaDeEm0g6dccGx4ErVrAE0PSvDsgInI5R1aWTNXwAvM6WmeiemFhIeLi4uS/79y5ExqNBj179pQfi4yMRHl5uftGSC4h7VmqPVmXgigRgXvHwBNUNlb27CV64SKldKeJ50jjVXslBrAVLNX82VfOh8zY4Hr7dKi5Z8kh0rVKp1bhyMoR3h0MEbmFlN5f39zEaBQhioGbzlznylKLFi1QUFAAADAajdixYwc6d+4Mg8EgH7Nr1y6LgIp8k9osDcx8g550t9UbaV6BRLq+GBtaOtwLv58KhR4S15mK02hVKtSGViwf76cflkG1Mg6IiAKdvLJUT/6K1PjbVhuaxq7OYGns2LHIzc3Fli1bkJOTg4sXL2LKlCny8/v27cPzzz+PESN418nXmRd4sEjDUymvOJFrOb1nCZ4PlsqrrCfPOw7bX2Ka/It59TiJUuUjf62GpNNwz5Ij0puHAQCm9Unx8kiIyF2ke18VlfUES9WTF3+9WeasOtPwZsyYgaKiIixevBiCIGDWrFkYPnw4AGDlypVYv349BgwYgOnTp3tksNRw0mbdqtppeGbpYdJybP/0aM8OLgA4vWdJ9Hw1vLIKdqEMJEppeEos7yz6zwdnucJKKdkWFaqrN7WRiPybNK/IWr4FX/9pABKiQhSPk4KlQN37WWewpFarMW/ePMybN8/qufHjx2PcuHFo166d2wZHriPl69uqhieiphweF5lcTxAECIITfZbg+ZWl66UV9R9EjYa9wZK/flaO6tjC20MgIvIp5vOKo78VIzxIi1C9Wm5gLpHT8Pz1A8BJDc5LSE9PZ6DkR8zvBpu/OcxLh0sYK7mHShCcKx3u2uHU61oJg6VAUqWwZ0mJv1ZDahMb5u0hEBH5FPO0alEUkbV8CxZs+tXqOGm/NYMlatSUTvB/3J9ds7JUq6Q4uZ5KcLJ0uIcnqQyWAsv4LvF2HecvOesPca8NEVGdzK/m0jblD/actTquksESBQKlPNNQnUaxpDV7LrmH4NTKkueD2Udva2P1mJbllxut+3om43juiHrT7Pzls/LJoenyn7+ZN8CLIyEi8k3m92CluZ9RFHH+WgmS538iF3WSVpb8NbPAWQyWAoT53WDzQgFqs2p4/lrlyl+onNizBHh+z1Jmywirxxoa7JHvEwQBKpWAEF2dW1ktPix9+ZKh16jxwqQs9EptivgmypuWiYgCmfklXPp8N4rAt0d/BwBs+vkMAKAiwAs8MFgKMGH6momQCMs9S4H5FvAc054lJ/osuXg89lg/rZvF36sYLTV6Ibq6+xGZB0i+fs0Y1zkeGx7s4e1hEBH5JPMb6eY3c6/cKAMANAnVAQCWfJhndXwgYbAUQP46uTP+O6u3xQxHKf+UWXju4VSBB3hn5a9PG5aRDzT1B0uB+WFJRNTYKK0sAcCNsioAQLBWjZLyKnx18BKAwN2mUXe+BTUqY7LirB6zVSWPXE9wpsADV/7IQ+pLwwOAJiFaFN5kARAiIr9mNvEzn59IN9L/vu0Y/r7tmPy4vS0mGhuuLAUwUbSxssTi4W6hEoQGr9qJIoNZ8oxQvWll6d5bkxSfFwDMGZxm+jPPSSIiv2U+BTQPlmxl2xkZLFGgMH8PqBUKPwToKqvbOVc6nAU4yDOCq1eWBrSNsXg8O6mJN4ZDRERuYl6woaKqZn7yWd4FxePNjwkkDJYCnPndA87F3cuZAg8swEGeElq9Z6mkvMri8ZhwPQBeJ4iIGgu9pmaP6gd7zsh/3n/uuuLxgVrkiXuWApA02TFfrTDfz8SVJfdwps8SREDw8q2NP/RvjUHtYr07CHK7J4akoeD3m+iV2kzxeYFhOxFRo6DT1EwspHLhdakK0AkiV5YCkDzZqT7n9y0dgucnZslTIO5Zcg+VUJPvO3HtTtyz7ge7v1aE6PVJ6uOD09AlkalYjV1qTBg+e6wPIoK1Fo/3S4uuft4g33EJ1AaFRESNgU7tWBjAlSUKONIpHx5UPSnivMetVIKA04U38euZa/jxxBWr53efLMSdr3yHleMyMa5zS+w/dx1dk6MA+EaBB7W3B0BeNTE7AUPbN0dkiA5JTUNw4Nx1udADERH5H73WsWCpMkD3LDFYCkD1zXkDdJXV7eIig3D4YjFyPjlg8bgoivg87wJmbvgZALDogzzsLijEpj1nERWqw5Ub5QCAXqlNPT5mc4yVApsgCIgMMTUoDNKqseqODl4eEREROUOjcixYqq8PX2PFYCkAtYgIBgCE6i1//d5O82rsspOj8POp44iqnnACQN7Za9h9shBPf7Tf4thNe84CgBwoAd7//bAaHxERUePhaJPZ+3omu2cgPo7BUgBaMbY9+qVHo1NCpOLzXFhyjyCt6Y7MoYtF8mOjXv5GsdeVEsYqRERE5Cr2bkGKiwjCx4/2tigIEUgC81UHuBCdxqL6nUSoqfBAbnC2sETxcXs3TP569porh0NEREQBzN52JqM7xaGpQe/m0fguBksk48KFe/VuY9+eI41KwKo7OuCRAa0tHi+vNLpjWPX6y4Qs3MKGpERERI1K91ZRSI8Nq/e4UF1gJ6IxWCKZprqEZFCAbuBzt7GdWmJkxxYAgMWj2uGVu7tYPL99bn+0axGOHxYOxORuiZg7tC0OrhgmP79gRIZHxysZf0s83p/Z0yv/NhEREbmHXqPGi3d1qvc4jTqwb6cHdqhIFrokRuKJwWm4q1uit4fSKAmCgOcmZGF4ZnOM7NDC6vmkpqH49LE+Fo8FadWY3rcVXttxHAY9g1giIiJyHXu2AmgdrJrX2DBYIpkgCHh0YBtvD6NRC9KqMapjXK3HVPj4j71tfs2sgW0QptdgdEfrfWZEREREDZUaY6j3GHsLUTVWDJaIvOjgimHQqlV1XogMeg2DWCIiInK5IK0aexYPRucVX9g8hml4ROQ1UjlxIl+1eXZfFJdVeHsYRETkJk1CddizeDByP83Hp7+ex43yKovnHW1e29gwWCIiIpvSm9dfKYmIiPxbk1Adnp2QhbNXS/Ddsd8tntMEeBpeYIeKREREREQEAHjl7luQlRCJbilRyGwZDoBpeFxZIiIiIiIiRIRo8Z9HegEAln60H3lnr8OgD+xwIbBfPRERERERWZk7NB2JUSEYlBHr7aF4FYMlIiIiIiKyEKrXYGrvFG8Pw+u4Z4mIiIiIiEgBgyUiIiIiIiIFDJaIiIiIiIgUeHXPktFoxNKlS3Ho0CHodDrk5OQgKSnJm0MiIiIiIiIC4OWVpS+//BLl5eV499138cQTT2D16tXeHA4REREREZHMqytLu3fvRp8+fQAAnTp1Ql5eXr1fYzQakZ+f7+6hkY8rLS3leUA8DwgAzwMy4XlAEp4L5EpeDZaKi4thMBjkv6vValRWVkKjsT0slUqFjIwMTwyPfFh+fj7PA+J5QAB4HpAJzwOS8FwgAC4LmL2ahmcwGHDjxg3570ajsc5AiYiIiIiIyFO8Gix16dIFO3bsAADs3bsXaWlp3hwOERERERGRzKvLOIMHD8a3336Lu+66C6IoIjc315vDISIiIiIiknk1WFKpVFi+fLk3h0BERERERKSITWmJiIiIiIgUMFgiIiIiIiJSwGCJiIiIiIhIAYMlIiIiIiIiBQyWiIiIiIiIFDBYIiIiIiIiUsBgiYiIiIiISAGDJSIiIiIiIgUMloiIiIiIiBQwWCIiIiIiIlLAYImIiIiIiEgBgyUiIiIiIiIFDJaIiIiIiIgUMFgiIiIiIiJSwGCJiIiIiIhIAYMlIiIiIiIiBQyWiIiIiIiIFDBYIiIiIiIiUsBgiYiIiIiISAGDJSIiIiIiIgUMloiIiIiIiBQwWCIiIiIiIlLAYImIiIiIiEgBgyUiIiIiIiIFDJaIiIiIiIgUMFgiIiIiIiJSwGCJiIiIiIhIAYMlIiIiIiIiBQyWiIiIiIiIFDBYIiIiIiIiUsBgiYiIiIiISAGDJSIiIiIiIgUMloiIiIiIiBQwWCIiIiIiIlLAYImIiIiIiEgBgyUiIiIiIiIFDJaIiIiIiIgUMFgiIiIiIiJSwGCJiIiIiIhIAYMlIiIiIiIiBRpv/uOiKKJv375ITk4GAHTq1AlPPPGEN4dEREREREQEwMvB0qlTp9C+fXu8+uqr3hwGERERERGRFUEURdFb//inn36K119/HQaDAUFBQViwYAFatWpV59fs3r0bISEhHhoh+arS0lIEBQV5exjkZTwPCOB5QCY8D0jCc4EkGRkZTn8Pj60s/fvf/8abb75p8diSJUswffp0DB8+HLt27cLcuXPx/vvv1/l9VCqVS144+bf8/HyeB8TzgADwPCATngck4blAgOk8cAWPBUsTJkzAhAkTLB4rKSmBWq0GAGRnZ+PSpUsQRRGCIHhqWERERERERIq8Wg1vzZo18mrTwYMH0aJFCwZKRERERETkE7xa4GH69OmYO3cutm/fDrVajVWrVnlzOERERERERDKvBksRERF47bXXvDkEIiIiIiIiRWxKS0REREREpMCrpcMbYu/evdDr9d4eBhERERER+aiysjJ06tTJ6e/jd8ESERERERGRJzANj4iIiIiISAGDJSIiIiIiIgUMloiIiIiIiBQwWCIiIiIiIlLAYImIiIiIiEgBgyUiIiIiIiIFGm8PwB5GoxFLly7FoUOHoNPpkJOTg6SkJG8Pi9xs3LhxMBgMAID4+HhMmjQJK1euhFqtRu/evfHHP/6R50Yj9ssvv+Avf/kL1q9fj5MnT2L+/PkQBAFt2rTB008/DZVKhTVr1mDbtm3QaDRYuHAhOnbsaPNY8k/m58GBAwcwY8YMJCcnAwAmT56MESNG8Dxo5CoqKrBw4UKcPXsW5eXlmDlzJlJTU3lNCDBK50GLFi14TQgwVVVVeOqpp3DixAkIgoBly5ZBr9e793og+oHNmzeL8+bNE0VRFPfs2SM+/PDDXh4RuVtpaal4++23Wzw2ZswY8eTJk6LRaBQffPBBcf/+/Tw3GqnXXntNHDVqlDhhwgRRFEVxxowZ4vfffy+KoiguXrxY3LJli5iXlyfec889otFoFM+ePSvecccdNo8l/1T7PHjvvffEdevWWRzD86Dx27hxo5iTkyOKoigWFhaK/fr14zUhACmdB7wmBJ4vvvhCnD9/viiKovj999+LDz/8sNuvB34RUu/evRt9+vQBAHTq1Al5eXleHhG528GDB1FSUoKpU6fi3nvvxU8//YTy8nIkJiZCEAT07t0b3333Hc+NRioxMREvv/yy/Pf9+/ejW7duAIC+ffvKv/vevXtDEATExcWhqqoKV65cUTyW/FPt8yAvLw/btm3D3XffjYULF6K4uJjnQQAYNmwYHnvsMQCAKIpQq9W8JgQgpfOA14TAM2jQIKxYsQIAcO7cOYSHh7v9euAXwVJxcbGcjgUAarUalZWVXhwRuVtQUBCmTZuGdevWYdmyZViwYAGCg4Pl50NDQ1FUVMRzo5EaOnQoNJqaLGFRFCEIAgDbv3vpcaVjyT/VPg86duyIP/3pT9iwYQMSEhLwt7/9jedBAAgNDSR/JtwAAATuSURBVIXBYEBxcTFmzZqF2bNn85oQgJTOA14TApNGo8G8efOwYsUKjB492u3XA78IlgwGA27cuCH/3Wg0WnyAUuOTkpKCMWPGQBAEpKSkICwsDFevXpWfv3HjBsLDw3luBAjzfGJbv/sbN24gLCxM8VhqHAYPHozMzEz5zwcOHOB5ECDOnz+Pe++9F7fffjtGjx7Na0KAqn0e8JoQuJ555hls3rwZixcvRllZmfy4O64HfhEsdenSBTt27AAA7N27F2lpaV4eEbnbxo0bsXr1agDAxYsXUVJSgpCQEJw6dQqiKOKbb75BdnY2z40A0a5dO/zwww8AgB07dsi/+2+++QZGoxHnzp2D0WhEVFSU4rHUOEybNg379u0DAOzcuRPt27fneRAALl++jKlTp2Lu3LkYP348AF4TApHSecBrQuD58MMPsXbtWgBAcHAwBEFAZmamW68HgiiKovtekmtIFc8OHz4MURSRm5uL1q1be3tY5Ebl5eVYsGABzp07B0EQ8OSTT0KlUiE3NxdVVVXo3bs3Hn/8cZ4bjdiZM2cwZ84cvPfeezhx4gQWL16MiooKtGrVCjk5OVCr1Xj55ZexY8cOGI1GLFiwANnZ2TaPJf9kfh7s378fK1asgFarRbNmzbBixQoYDAaeB41cTk4OPvvsM7Rq1Up+bNGiRcjJyeE1IYAonQezZ8/Gs88+y2tCALl58yYWLFiAy5cvo7KyEg899BBat27t1jmCXwRLREREREREnuYXaXhERERERESexmCJiIiIiIhIAYMlIiIiIiIiBQyWiIiIiIiIFDBYIiIiIiIiUsDunURE5HXz58/HBx98YPP5li1bIjY2Fu+8844HR0VERIGOpcOJiMjrioqKUFpaCgDYtWsXZs+ejW+++UZ+Pjg4GJWVlYiMjPTWEImIKABxZYmIiLwuLCwMYWFhAICIiAgAQHR0tDeHRERExD1LRETk+15++WVMnjwZALBp0yZMnjwZr776Krp27YpevXrh448/xqeffor+/fuja9eueP755+WvLS8vx8qVK9GjRw90794djz32GC5fvuytl0JERH6EwRIREfmdX3/9FQUFBdi4cSOGDx+OJUuWYMOGDVi7di3mzJmDtWvX4tChQwCA559/Hnv37sXatWuxfv16iKKIGTNmgFnoRERUHwZLRETkd4xGI5566ikkJSVhwoQJuHnzJh599FGkp6dj8uTJMBgMOH78OEpKSvDWW29h2bJlyMrKQlpaGv785z/j6NGj2L17t7dfBhER+TjuWSIiIr/TpEkTGAwGAEBQUBAAU8U8SVBQEMrLy3H69GlUVFTg7rvvtvj6srIynDhxAtnZ2Z4bNBER+R0GS0RE5HfUarXVY4IgWD1WVVUFAFi/fr1cQEISFRXlnsEREVGjwTQ8IiJqtBISEqBWq1FYWIikpCQkJSUhKioKq1atwtmzZ709PCIi8nEMloiIqNEyGAyYMGECVqxYgZ07d+LYsWOYN28eDh8+jOTkZG8Pj4iIfByDJSIiatTmz5+PXr164fHHH8f48eNRVlaGdevWyXudiIiIbBFE1k4lIiIiIiKywpUlIiIiIiIiBQyWiIiIiIiIFDBYIiIiIiIiUsBgiYiIiIiISAGDJSIiIiIiIgUMloiIiIiIiBQwWCIiIiIiIlLAYImIiIiIiEjB/wdMAis8AO7bnAAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<Figure size 1008x288 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "mu = numpy.random.normal(7, 2, size=1000)\n",
    "std = numpy.random.lognormal(-0.8, 0.8, size=1000)\n",
    "dur = numpy.random.exponential(50, size=1000)\n",
    "\n",
    "data = numpy.concatenate([numpy.random.normal(mu_, std_, int(t)) for mu_, std_, t in zip(mu, std, dur)])\n",
    "\n",
    "plt.figure(figsize=(14, 4))\n",
    "plt.title(\"Randomly Generated Signal\", fontsize=16)\n",
    "plt.plot(data)\n",
    "plt.xlabel(\"Time\", fontsize=14)\n",
    "plt.ylabel(\"Signal\", fontsize=14)\n",
    "plt.xlim(0, 3000)\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "If someone was trying to model this signal, they could potentially try to segment it and then extract properties of those segments, such as the mean, the variance, and the duration. We can plot what thos would look like:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAsMAAADSCAYAAACvmc1VAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADh0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uMy4xLjIsIGh0dHA6Ly9tYXRwbG90bGliLm9yZy8li6FKAAAgAElEQVR4nO3dfXhUZX7/8c/kGZJgzLq1V8QsiUYIIE+mqL2GUGFp8AKEZYMJbMOWsHalEI1FJIYQ2PKQ0FD2AciitFu3oIsg2mLX7vZalNKADSwqLiHgVZUoEBGNLJmRPDBzfn/4YyQkTCZhMmdmzvv1V+bMmTPfOzPfub9zz33uYzMMwxAAAABgQRFmBwAAAACYhWIYAAAAlkUxDAAAAMuiGAYAAIBlUQwDAADAsiiGAQAAYFkUwwBgotOnT2vw4MFqaGgwOxTAciZMmKDBgwdr8ODBGjJkiEaPHq38/Hz9z//8T5895+eff67XXnvNc3vw4ME6ePBgnz0fumdjnWEAMI/L5VJTU5OSk5MVGRlpdjiApUyYMEEFBQWaOnWq3G63/vjHP+rf/u3f9Nxzz+mf/umf9Od//ud+f86nn35a7e3tWr9+vSTp/PnzuummmxQTE+P354JvoswOAACsLDIyUt/85jfNDgOwrISEBE8O3nrrrXrqqad0/vx5VVRU6NVXX/X78107Bkn+m49pEhZw5WfYvXv3asKECRo9erQqKyt18uRJzZw5U6NGjdKjjz6qL7/8UiUlJXryySc7PJ6fcAD/eP755zVx4kTdfffdmjZtmt54441O0yS++OILLVq0SKNHj9bEiRP1q1/9SoMHD5bUs1yWpPb2dq1bt07Z2dkaNmyYHnjgAb3wwgumtR8IFXl5eXrvvffU0NDQqQ98+eWXlZ2dLUmqra1Vdna2/v7v/1733HOPNm7c6DXvNm7cqFdeeUWvvvqqJkyYIKljH9va2qr169dr/Pjxnnw+c+aMpK/z/7e//a0mTZqku+++W4888oiampoC+a8JS4wMW8jWrVtVXV2tkydP6qmnntIbb7yhlStXKioqSo8++qh2795tdohA2Dp+/LgqKir0k5/8RJmZmdqzZ4+Ki4u1Y8eODvv93d/9nS5duqQXXnhBn376qZYtW9bpWL7kckFBgbZu3arXX39dP/vZz/SNb3xDr7zyitasWaOJEyfq1ltvDVTTgZBzxx13SJL+7//+r9t9z507J4fDoVdeeUURERFe866wsFDvv/++3G63Vq5c2elYK1as0FtvvaV169bp5ptvVlVVlRYsWKBXXnnFs88zzzzjmWKxYMEC/fM//7OWLFnin4ZbFCPDFrJgwQINGTJE06dPV1JSkqZMmaL7779ff/Znf6axY8fqgw8+MDtEIGxdGd257bbbdNttt+mHP/yhNm/erOjoaM8+H374oQ4ePKiKigplZmZq/PjxWrRoUadj+ZrLd911l9asWaNRo0bp9ttv16OPPqrLly/rww8/DEyjgRCVmJgoSXI6nT7t/4Mf/ECpqakaOHCg17yLj49XXFycYmJilJyc3OEYf/zjH/Xv//7vWrZsme677z4NHjxY69ev10cffdThhL5FixZp5MiRGjlypKZNm6Y//OEP/mu4RTEybCEDBw70/B0bG6uUlBTP7bi4OLW1tZkRFmAJdrtdQ4cO1YwZM3TXXXdpwoQJys3Nlc1m8+xz8uRJJSQkKC0tzbNt1KhRnY7lay5/+9vf1oEDB1RZWakPPvhAx48flyS53W6/tw8IJw6HQ9JX84l9cdttt3n+7m3enTp1Sm63WyNHjvRsS0pKUlpamt5//33deeedkqTU1FTP/QkJCbp8+bJvjcJ1MTJsIVFRHb/7RER0fvmv7pglkWSAn/Tr108vvviinn/+eWVnZ+s3v/mNZsyY4el0pa9y1JcFfnzJZUn68Y9/rMWLFysyMlLTp0/Xiy++eGONACzi5MmTkqSMjIxO97lcrk7bYmNjPX/3Nu+uPsa1z3f1c179a5LU+YQ89Bwjw+ggOjpaFy5c8Nz++OOPTYwGCB9vv/22Dh48qIULFyorK0uLFy/Wgw8+qP3793v2ueOOO+R0OnXq1CkNGjRIknTs2LFeP+eOHTu0fPlyTZ06VdLX8x/pPAHvdu/erWHDhun2229XdHR0h+kS3fWL3eXdtYNOV6SmpioqKkpHjx7V+PHjJX11Qm1DQ4PS09NvuE24PophdHD33Xdr7dq1evPNN3XLLbeosrKStQ8BP4iLi1N1dbW+8Y1vyG6368SJE2psbNTNN9/s2SctLU12u11lZWUqKytTU1OTfvazn/X6OZOSkvTGG29o5MiROnfunNauXStJTIkCruJwOHT+/HkZhqEvvvhC//Ef/6HXXntNv/jFLyR91S8+//zzysjI0IcffqiXX375ur/GSN3nXf/+/VVfX69z5851OJG1f//+ys/P15o1axQbG6ubb75Z69ev16233qpx48bp/PnzffhfsDamSaCD6dOna/Lkyfrbv/1bFRYWavLkyfrTP/1Ts8MCQl5mZqYqKir0y1/+Ug8++KAqKiq0dOlS3X///R32q6ioUHx8vB5++GGVl5dr5syZnX4W9dXatWv13nvvacqUKSopKdHkyZM1atQozxxGAFJlZaXsdruys7M1b9481dfX67nnntPYsWMlScuXL9fFixc1depUPfPMM3r88ce9Hq+7vJs+fbo++ugjPfTQQ51+pVmyZInsdrsef/xx5efnKyYmRr/85S+vO4UC/sEV6AAgSFy6dEkHDx5Udna2pwD+z//8T1VVVen11183OToACE+MDANAkIiNjVVpaak2bdqkjz/+WG+//bY2b96snJwcs0MDgLDFyDAABJHf//73+od/+AfPMmsPPfSQnnjiCebuA0AfoRgGAACAZbGaBAAAJmhvb1dpaanOnDmjtrY2LViwQHfeeadKSkpks9mUkZGhFStWKCIiQps2bdK+ffsUFRWl0tJSjRgxwuzwgbBBMQwAgAn27NmjpKQkVVVV6cKFC5oxY4aGDBmi4uJi3XvvvSovL9fevXuVkpKiQ4cOadeuXWpsbFRRUZF2795tdvhA2DC1GH7nnXe6XS6ktbXV0kuK0H5rtb+1tbXLy+8GA6vma7i1KdzaI5nXphvN18mTJ3tOjjQMQ5GRkaqrq/Ms6ZWdna0DBw541p+22WxKSUmRy+VSU1OTkpOTr3tsq+ZrT9B+a7XfW76aWgzHxsYqMzPT6z719fXd7hPOaL+12l9fX292CNdl1XwNtzaFW3sk89p0o/kaHx8v6auLPjz22GMqLi7WunXrPFcoi4+PV3NzsxwOh5KSkjo8rrm52Wsx7AurnzJE+63Vfm+FP9MkAAAwSWNjoxYuXKg5c+Zo2rRpqqqq8tzndDo1YMAAJSQkdLgcsNPpVGJiotfjWvXLa0/Qfmu139uXV9YZBgDABJ999pkKCwu1ZMkS5ebmSpKGDh2q2tpaSdL+/fuVlZWlMWPGqKamRm63W2fPnpXb7b7hUWEAX2NkGAAAE2zZskUXL15UdXW1qqurJUnLli3T6tWrtWHDBqWnpysnJ0eRkZHKyspSXl6e3G63ysvLTY4cCC8UwwAAmKCsrExlZWWdtm/fvr3TtqKiIhUVFQUiLMBymCYBAAAAy6IYhlraXQF5DNAbXb3XeP8BNy51UHqPH0PuIRwxTQKKi47UoJJf9+gxpyqn9FE0QEddvT95/wE3Lr5fLJ/9gBgZBgAAgIVRDAMAAMCyKIYBAABgWRTDAAAAsCyKYQBhjdUoAADesJoEgLDGahQAAG8YGQYAAIBlUQwDAADAsrxOk2hvb1dpaanOnDmjtrY2LViwQHfeeadKSkpks9mUkZGhFStWKCIiQps2bdK+ffsUFRWl0tJSjRgxIlBtAOBFe3u7SkpKdObMGUVERGjVqlWKiorqMo8BALAar8Xwnj17lJSUpKqqKl24cEEzZszQkCFDVFxcrHvvvVfl5eXau3evUlJSdOjQIe3atUuNjY0qKirS7t27A9UGAF7893//ty5fvqwdO3bowIED+slPfqL29vZOeTxp0iSzQwUAIOC8DgVNnjxZjz/+uCTJMAxFRkaqrq5OY8eOlSRlZ2fr4MGDOnLkiOx2u2w2m1JSUuRyudTU1NT30QPoVlpamlwul9xutxwOh6KiorrMYwAArMjryHB8fLwkyeFw6LHHHlNxcbHWrVsnm83mub+5uVkOh0NJSUkdHtfc3Kzk5GSvT97a2qr6+nqv+7S0tHS7TzgLRPszMzN79bhAvC5Wf/39oX///jpz5owefPBBffHFF9qyZYsOHz7cKY+7Y1a+Xu/96evz3Ojjw+09GG7tkcKzTQACp9ul1RobG7Vw4ULNmTNH06ZNU1VVlec+p9OpAQMGKCEhQU6ns8P2xMTEbp88Nja220Ksvr6+18VaOAjm9gcirmBuf1/oiw79ueeek91u1+LFi9XY2Kjvf//7am9v99x/JY+7E2z5eqPP4+vjw+09GG7tkcxrEwU4EB68TpP47LPPVFhYqCVLlig3N1eSNHToUNXW1kqS9u/fr6ysLI0ZM0Y1NTVyu906e/as3G53t6PCAAJjwIABni+nN910ky5fvtxlHgMAYEVeR4a3bNmiixcvqrq6WtXV1ZKkZcuWafXq1dqwYYPS09OVk5OjyMhIZWVlKS8vT263W+Xl5QEJHkD3/vqv/1qlpaWaM2eO2tvb9cQTT2j48OFavnx5hzwGAMCKvBbDZWVlKisr67R9+/btnbYVFRWpqKjIf5EB8Iv4+Hj99Kc/7bS9qzwGAMBqWFgUQNhoaXeZHQIAIMR0ewIdAISKuOhIDSr5dYdtpyqnmBQNACAUMDIMAAAAy6IYBgAAgGVRDAMIGsz5BQAEGnOGAQQN5vwCAAKNkWEAAABYFsUwAAAALItiGAAAAJZFMQwAAHzSm5NcOTEWwY4T6AAAgE+6Osm1O5wEi2DHyDAAAAAsi2IYAAAAlkUxHIaYnwUAoePo0aMqKCiQJB0/flzjxo1TQUGBCgoK9Nprr0mSNm3apNzcXOXn5+vdd981M1wg7DBnOAz1dE4X87kAwBxbt27Vnj171K9fP0lSXV2d5s2bp8LCQs8+dXV1OnTokHbt2qXGxkYVFRVp9+7dZoUMhB1GhgEAMElqaqo2btzouX3s2DHt27dP3/ve91RaWiqHw6EjR47IbrfLZrMpJSVFLpdLTU1NJkYNhBdGhgEAMElOTo5Onz7tuT1ixAjNmjVLw4cP189//nNt3rxZiYmJSkpK8uwTHx+v5uZmJScnX/e4ra2tqq+v9/rcmZmZN94AH3UXixlaWlqCMq5AsXr7r0YxDABAkJg0aZIGDBjg+XvVqlWaOHGinE6nZx+n06nExESvx4mNjQ1osdudYIrlivr6+qCMK1Cs1n5vhT/TJAAACBLz58/3nCD35ptvatiwYRozZoxqamrkdrt19uxZud1ur6PCAHqGkWEAAILEypUrtWrVKkVHR+uWW27RqlWrlJCQoKysLOXl5cntdqu8vNzsMIGwQjEMAICJBg4cqJ07d0qShg0bph07dnTap6ioSEVFRYEODbAEpkkAAADAsiiGAQAAYFkUwwAAALAsimEAIYdLjgMA/IUT6NArLe0uxUVH9vljgK5c75LjXFocANBTFMPolesVI95QqAAAgGDj0zSJo0ePqqCgQJJ0/PhxjRs3TgUFBSooKNBrr70mSdq0aZNyc3OVn5/vWTAcAAAACGbdjgxv3bpVe/bsUb9+/SRJdXV1mjdvngoLCz371NXV6dChQ9q1a5caGxtVVFSk3bt3913UAHrkmWee0euvv6729nbNnj1bY8eOVUlJiWw2mzIyMrRixQpFRHAKAQDAerrt/VJTU7Vx40bP7WPHjmnfvn363ve+p9LSUjkcDh05ckR2u102m00pKSlyuVxqamrq08CtInVQutkhIMTV1tbq7bff1q9+9Stt27ZNn3zyiSoqKlRcXKwXXnhBhmFo7969ZocJAIApuh0ZzsnJ0enTpz23R4wYoVmzZmn48OH6+c9/rs2bNysxMVFJSUmefeLj49Xc3NzttdNbW1tVX1/vdZ+WlpZu9wlnmZmZYTU3t6evpdVff3+oqanRXXfdpYULF8rhcOipp57Szp07NXbsWElSdna2Dhw4oEmTJpkcKQAAgdfjE+gmTZqkAQMGeP5etWqVJk6cKKfT6dnH6XQqMTGx22PFxsYqMzPT6z719fXd7oPQ0dPX0mqvf18U/l988YXOnj2rLVu26PTp01qwYIEMw5DNZpP09ZfX7gTiy2sgX2tf4wy3L2Th1h4pPNsEIHB6XAzPnz9fy5cv14gRI/Tmm29q2LBhGjNmjKqqqjR//nx98skncrvd3Y4KAwiMpKQkpaenKyYmRunp6YqNjdUnn3ziud/pdHq+4HoTbl9efY0zlNrki3Brj2RemyjAgfDQ42J45cqVWrVqlaKjo3XLLbdo1apVSkhIUFZWlvLy8uR2u1VeXt4XsQLohXvuuUf/+q//qnnz5unTTz/VpUuXdP/996u2tlb33nuv9u/fr/vuu8/sMAEAMIVPxfDAgQO1c+dOSdKwYcO0Y8eOTvsUFRWpqKjIv9EBuGEPPPCADh8+rNzcXBmGofLycg0cOFDLly/Xhg0blJ6erpycHLPDBADAFFx0A7CAp556qtO27du3mxAJAKvhiqUIdhTDAACgz3DFUgQ7VtkHAACAZVEMA7CclnaXT9sAAOGPaRIALKern235WRYArImRYQAAAFgWxTAAAAAsi2IYAAAAlkUxDAC6/gl0qYPSAxwJACCQOIEOAHT9tVA5sQ4AwhsjwwAAALAsimEAAABYFsUwAFNwkQsAQDBgzjAAU3DhCwBAMGBkGAAAAJZFMQwAAADLohgGAACAZVEMAwAAwLIohgEAAGBZFMMAAJjo6NGjKigokCQ1NDRo9uzZmjNnjlasWCG32y1J2rRpk3Jzc5Wfn693333XzHCBsEMxDACASbZu3aqysjK1trZKkioqKlRcXKwXXnhBhmFo7969qqur06FDh7Rr1y5t2LBBP/rRj0yOGggvFMMAAJgkNTVVGzdu9Nyuq6vT2LFjJUnZ2dk6ePCgjhw5IrvdLpvNppSUFLlcLjU1NZkVMhB2uOgGAAAmycnJ0enTpz23DcOQzWaTJMXHx6u5uVkOh0NJSUmefa5sT05Ovu5xW1tbVV9f7/W5MzMzbzD6vtVd/DeqpaWlz58jmFm9/VejGAYAIEhERHz9g63T6dSAAQOUkJAgp9PZYXtiYqLX48TGxgZ9sdudvo6/vr4+5P9HN8Jq7fdW+DNNAgD8oKXd1aPtQFeGDh2q2tpaSdL+/fuVlZWlMWPGqKamRm63W2fPnpXb7fY6KhwOepM35Bp6i5FhAPCDuOhIDSr5daftpyqnmBANQtXSpUu1fPlybdiwQenp6crJyVFkZKSysrKUl5cnt9ut8vJys8Psc9fLJ2/INfQWxTAAACYaOHCgdu7cKUlKS0vT9u3bO+1TVFSkoqKiQIcGWALTJAAAQMjr6TSJ1EHpfRQJQo1PI8NHjx7V+vXrtW3bNjU0NKikpEQ2m00ZGRlasWKFIiIitGnTJu3bt09RUVEqLS3ViBEj+jp2AD3w+eefa+bMmfrFL36hqKioLvMYAEJVT6dWMK0CV3Tb+7EgOBD62tvbVV5erri4OEld5zEAAFbUbTHMguBA6Fu3bp3y8/P1J3/yJ5K6zmMAAKyo22kSfbUguOTbouBWXxQ63NYA7OlrafXX3x9efvllJScna9y4cXr22WcldZ3H3fF3vobSe9uXNnlrTzC9h8Mxp8KxTQACp8erSfhrQXDJt0XBrbYodLjr6Wtptde/Lzr03bt3y2az6c0331R9fb2WLl3a4ZebK3ncHSvn6422KZj+J+H4GpnVJgpwIDz0+IwZFgQHQsvzzz+v7du3a9u2bcrMzNS6deuUnZ3dKY8BALCiHo8MsyA4EPq6ymMAAKzIp2KYBcGB8LBt2zbP313lMXzT0u5SXHSk2WEAAPyAK9ABQA91tZ4pa5YCQGhilX0AAABYFsUwAAAALItiGAAAAJZFMQwAAADLohgGAACAZVEMA4AXLe0us0MAAPQhllYDAC9YRg0AwhsjwwDQh7oaWWa0GQCCByPDAcRVqwDrYWQZAIIbxXAAddUpdiecOs3efBlIHZTeR9EAAABQDCOArP5lAAAABB/mDAMAAMCyKIYBAABgWRTDAADAcnqzqgsrwYQn5gwDAADL4TwWXMHIMAAAACyLYhgAAACWRTEMAAAAy6IYBgAAgGVRDAMAAMCyKIYBAABgWRTDAAAAsCzWGQYAIMh85zvfUUJCgiRp4MCBysvL05o1axQZGSm73a5FixaZHCEQPiiGAQAIIq2trTIMQ9u2bfNsmz59ujZu3Kjbb79df/M3f6Pjx49r6NChJkYJhA+mSQAAEEROnDihS5cuqbCwUHPnztXhw4fV1tam1NRU2Ww22e12HTx40OwwgbDByDAABFhLu0tx0ZG92tbTfRF64uLiNH/+fM2aNUunTp3SI488ogEDBnjuj4+P18cff+z1GK2traqvr/e6T2Zmpl/itZru/q+hoqWlJWzacqMohgEgwOKiIzWo5Ncdtp2qnOLTflf29eXxCE1paWn61re+JZvNprS0NCUmJurChQue+51OZ4fiuCuxsbEUu30kXP6v9fX1YdMWX3gr/HtdDDO5HwgN7e3tKi0t1ZkzZ9TW1qYFCxbozjvvVElJiWw2mzIyMrRixQpFRDBrykyM7OKKl156Se+9955Wrlypc+fO6dKlS+rfv78++ugj3X777aqpqaGPNUlv8pTcDn69KoaZ3A+Ejj179igpKUlVVVW6cOGCZsyYoSFDhqi4uFj33nuvysvLtXfvXk2aNKlPnp+OwDe+jhYj/OXm5urpp5/W7NmzZbPZtHbtWkVEROjJJ5+Uy+WS3W7XyJEjzQ7Tkq73a4035HHw61UxfPXk/suXL6uoqMgzuV+SZ3I/xTBgvsmTJysnJ0eSZBiGIiMjVVdXp7Fjx0qSsrOzdeDAgT4rhr391A+gs5iYGP3jP/5jp+07d+40IRog/PWqGPbH5H7Jtwn+4TTB20pzc/ylp6OKzkut+ujUB30YUeiJj4+XJDkcDj322GMqLi7WunXrZLPZPPc3Nzd3e5ze5ivv+8Dx5bMynD5TrwjHNgEInF4Vw/6Y3C/5NsHfahO80VFPf5I6VTklpN8vfdWhNzY2auHChZozZ46mTZumqqoqz33ka/jw5X8fjq+RWW2iAAfCQ6/OmHnppZdUWVkpSZ0m9xuGoZqaGmVlZfk1UAC989lnn6mwsFBLlixRbm6uJGno0KGqra2VJO3fv598BQBYVq9GhpncD4SOLVu26OLFi6qurlZ1dbUkadmyZVq9erU2bNig9PR0z5xiAIB/sQJF8OtVMczkft6oCB1lZWUqKyvrtH379u0mRAMA1sIKFMGPi270Em9uAMGuqy/tqYPSTYoGAIITxTAAhCnWLgaA7nHJKQAIAy3tLrNDAOAnvclnPgN6j5FhAAgDjAID4YOpmIHFyDAAWMj1Ro8YVQJCW09zmPMHvsbIMABYCJfHBsJTby5Sha8wMgwA8FlXo0+MKgMIZYwMAwB8xtxkAOGGkWEAAABYFsUwAKBLTH8AYAVMkwAAdIkpEQCsgJFhAIBlcAIggGsxMgwAsAxGuwFci5FhAAAAWBbFMAAAgMX0ZnpQoB4TaEyTAACopd2luOjIPj9mXzwPgJ7r6RXrpK+mFPXmMcGOYhhhpTcdLZ0z0DdzaZmfCyAUUAwjrPT2my6A3uvJF0pGiwEEG4phAMANud6X0K6+aHa174lVk7s8LkUygECgGBYfuABgpp4U0wDgbxTD4qd1AAhlqYPSO21jkAOAryiGAQAhLb5fLCfqAeg11hkG4DddjdABABDMGBkG4DeM0AEAblRPpznd6LQoimEAQMjwtdNjzjAQHHqTiz09l+tGB10ohgEAIcPXC3n0ZIUK1j4G+k4oLFJAMQwAsDSulAdYW1ieQNfS7jI7BADADeKzHEAg+HVk2O12a+XKlTp58qRiYmK0evVqfetb3/LnU/gk0HNNgFAULPkKXA8jtl8jX4G+49eR4d/97ndqa2vTiy++qMWLF6uystKfhwf6RG9Gn8JhxIp8BUIH+Qr0Hb+ODB85ckTjxo2TJI0aNUrHjh274WOybin6WihM7u8LfZGvAPoG+Qr0HZthGIa/DrZs2TL95V/+pcaPHy9J+ou/+Av97ne/U1RU1zX3O++8o9jYWH89PRDyWltbNWrUqIA8F/kK3BjyFQgd3vLVryPDCQkJcjqdnttut/u6iSopYB8iADojX4HQQb4Cfcevc4bHjBmj/fv3S/rqW+ldd93lz8MD8CPyFQgd5CvQd/w6TeLK2a7vvfeeDMPQ2rVrdccdd/jr8AD8iHwFQgf5CvQdvxbDAAAAQCgJy4tuAAAAAL6gGAYAAIBl+XU1CX/hSjvSd77zHSUkJEiSBg4cqIqKCpMjCoyjR49q/fr12rZtmxoaGlRSUiKbzaaMjAytWLFCERF8fwsG3eXozp07tWPHDkVFRWnBggV64IEHTIy2e921Z/Xq1XrrrbcUHx8vSaqurlZiYqJZ4fbI1Tl1tddff12bN29WVFSUvvvd7+rhhx82KcKeuV57nnvuOe3atUvJycmSpB/96EdKT2ed+q5YtY+9tl/Ny8vTmjVrFBkZKbvdrkWLFpkcYd/wpV/dtGmT9u3bp6ioKJWWlmrEiBFmhx1YRhD67W9/ayxdutQwDMN4++23jUcffdTkiAKrpaXFmD59utlhBNyzzz5rTJ061Zg1a5ZhGIbxwx/+0Pjf//1fwzAMY/ny5cZ//dd/mRkeruItRz/99FNj6tSpRmtrq3Hx4kXP38Gsu8+c/Px84/PPPzcjtBtybU5d0dbWZnz72982Lly4YLS2thozZ840zp8/b1KUvrteewzDMBYvXmz84Q9/MCGq0GPFPrarfvWhhx4yGhoaDLfbbfzgBz8w6urqTIqu7/jSrx47dswoKCgw3P4kdnUAAAQxSURBVG63cebMGWPmzJlmhmyKoBxms/qVdk6cOKFLly6psLBQc+fO1TvvvGN2SAGRmpqqjRs3em7X1dVp7NixkqTs7GwdPHjQrNBwDW85+u6772r06NGKiYlRYmKiUlNTdeLECbNC9Ym39rjdbjU0NKi8vFz5+fl66aWXzAqzx67NqSvef/99paam6qabblJMTIzuueceHT582IQIe+Z67ZG++rx49tlnNXv2bD3zzDMBjiy0WLGPvbZfPXz4sNra2pSamiqbzSa73R6WfYwv/eqRI0dkt9tls9mUkpIil8ulpqYms0I2RVBOk3A4HJ6fMiQpMjJSly9f9rrAeDiJi4vT/PnzNWvWLJ06dUqPPPKIfvOb34R9+3NycnT69GnPbcMwZLPZJEnx8fFqbm42KzRcw1uOOhyODlMI4uPj5XA4zAjTZ97a8+WXX+qv/uqvNG/ePLlcLs2dO1fDhw/XkCFDTIzYN9fm1BWh+BpJ12+PJE2ZMkVz5sxRQkKCFi1apDfeeCPop+eYxYp9bFf96oABAzz3x8fH6+OPPzYxwr7hS7/qcDiUlJTk2efK9itTjqwgKEeGe3qlnXCTlpamhx56SDabTWlpaUpKStL58+fNDivgrp4f7HQ6O3xwwVzecvTa+5xOZ9DPr/XWnn79+mnu3Lnq16+fEhISdN999wX9SHd3QvE18sYwDH3/+99XcnKyYmJiNH78eB0/ftzssIKWFfvYa/vVxMREXbhwwXO/VfqYrvrVcPs86I2gLIatfqWdl156SZWVlZKkc+fOyeFw6Jvf/KbJUQXe0KFDVVtbK0nav3+/srKyTI4IV3jL0REjRujIkSNqbW1Vc3Oz3n///aDPYW/tOXXqlGbPni2Xy6X29na99dZbGjZsmFmh+sUdd9yhhoYGXbhwQW1tbfr973+v0aNHmx1WrzkcDk2dOlVOp1OGYai2tlbDhw83O6ygZcU+9tp+9dKlS+rfv78++ugjGYahmpoaS/QxXfWrY8aMUU1Njdxut86ePSu3222pUWEpSKdJTJo0SQcOHFB+fr7nSjtWkpubq6efflqzZ8+WzWbT2rVrw/5be1eWLl2q5cuXa8OGDUpPT1dOTo7ZIeH/6ypH/+Vf/kWpqamaOHGiCgoKNGfOHBmGoSeeeEKxsbFmh+xVd+2ZPn26Hn74YUVHR2v69OnKyMgwO+ReefXVV/Xll18qLy9PJSUlmj9/vgzD0He/+13deuutZofXY1e354knntDcuXMVExOj+++/X+PHjzc7vKBlxT62q341IiJCTz75pFwul+x2u0aOHGl2mH2uq341MjJSWVlZysvLk9vtVnl5udlhBhxXoAMAAIBlBeU0CQAAACAQKIYBAABgWRTDAAAAsCyKYQAAAFgWxTAAAAAsi2IYAAAAlkUxDAAAAMuiGAYAAIBl/T/vOZO/xUMOMgAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<Figure size 864x216 with 3 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "plt.figure(figsize=(12, 3))\n",
    "plt.subplot(131)\n",
    "plt.title(\"mu\", fontsize=14)\n",
    "plt.hist(mu, bins=numpy.arange(0, 15))\n",
    "\n",
    "plt.subplot(132)\n",
    "plt.title(\"sigma\", fontsize=14)\n",
    "plt.hist(std, bins=numpy.arange(0.00, 1.75, 0.05))\n",
    "\n",
    "plt.subplot(133)\n",
    "plt.title(\"Duration\", fontsize=14)\n",
    "plt.hist(dur, bins=numpy.arange(0, 150, 10))\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "We can see that the mean of the segments does have a Gaussian distribution, but that neither the standard deviation or the duration do. It would be suboptimal to assume all features were Gaussian, as a simple Gaussian naive Bayes model would. pomegranate allows you to define a different distribution for each feature, like the following:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{\n",
       "    \"class\" : \"NaiveBayes\",\n",
       "    \"models\" : [\n",
       "        {\n",
       "            \"class\" : \"Distribution\",\n",
       "            \"name\" : \"IndependentComponentsDistribution\",\n",
       "            \"parameters\" : [\n",
       "                [\n",
       "                    {\n",
       "                        \"class\" : \"Distribution\",\n",
       "                        \"name\" : \"NormalDistribution\",\n",
       "                        \"parameters\" : [\n",
       "                            6.905835442537852,\n",
       "                            2.09604452629164\n",
       "                        ],\n",
       "                        \"frozen\" : false\n",
       "                    },\n",
       "                    {\n",
       "                        \"class\" : \"Distribution\",\n",
       "                        \"name\" : \"LogNormalDistribution\",\n",
       "                        \"parameters\" : [\n",
       "                            -0.880499005246798,\n",
       "                            0.7642112111076668\n",
       "                        ],\n",
       "                        \"frozen\" : false\n",
       "                    },\n",
       "                    {\n",
       "                        \"class\" : \"Distribution\",\n",
       "                        \"name\" : \"ExponentialDistribution\",\n",
       "                        \"parameters\" : [\n",
       "                            0.01979944881580867\n",
       "                        ],\n",
       "                        \"frozen\" : false\n",
       "                    }\n",
       "                ],\n",
       "                [\n",
       "                    1.0,\n",
       "                    1.0,\n",
       "                    1.0\n",
       "                ]\n",
       "            ],\n",
       "            \"frozen\" : false\n",
       "        },\n",
       "        {\n",
       "            \"class\" : \"Distribution\",\n",
       "            \"name\" : \"IndependentComponentsDistribution\",\n",
       "            \"parameters\" : [\n",
       "                [\n",
       "                    {\n",
       "                        \"class\" : \"Distribution\",\n",
       "                        \"name\" : \"NormalDistribution\",\n",
       "                        \"parameters\" : [\n",
       "                            8.03534029261696,\n",
       "                            2.063613757125447\n",
       "                        ],\n",
       "                        \"frozen\" : false\n",
       "                    },\n",
       "                    {\n",
       "                        \"class\" : \"Distribution\",\n",
       "                        \"name\" : \"LogNormalDistribution\",\n",
       "                        \"parameters\" : [\n",
       "                            -1.2016720901139963,\n",
       "                            0.5891919855702662\n",
       "                        ],\n",
       "                        \"frozen\" : false\n",
       "                    },\n",
       "                    {\n",
       "                        \"class\" : \"Distribution\",\n",
       "                        \"name\" : \"ExponentialDistribution\",\n",
       "                        \"parameters\" : [\n",
       "                            0.010167268183697146\n",
       "                        ],\n",
       "                        \"frozen\" : false\n",
       "                    }\n",
       "                ],\n",
       "                [\n",
       "                    1.0,\n",
       "                    1.0,\n",
       "                    1.0\n",
       "                ]\n",
       "            ],\n",
       "            \"frozen\" : false\n",
       "        }\n",
       "    ],\n",
       "    \"weights\" : [\n",
       "        0.4,\n",
       "        0.6\n",
       "    ]\n",
       "}"
      ]
     },
     "execution_count": 20,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "X1 = numpy.array([numpy.random.normal(7, 2, size=400),\n",
    "                  numpy.random.lognormal(-0.8, 0.8, size=400),\n",
    "                  numpy.random.exponential(50, size=400)]).T\n",
    "\n",
    "X2 = numpy.array([numpy.random.normal(8, 2, size=600),\n",
    "                  numpy.random.lognormal(-1.2, 0.6, size=600),\n",
    "                  numpy.random.exponential(100, size=600)]).T\n",
    "\n",
    "X = numpy.concatenate([X1, X2])\n",
    "y = numpy.zeros(1000)\n",
    "y[400:] = 1\n",
    "\n",
    "NaiveBayes.from_samples([NormalDistribution, LogNormalDistribution, ExponentialDistribution], X, y)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Modeling each feature independently is allowed for naive Bayes, mixtures, and hidden Markov models. This is very useful when trying to capture different dynamics in different features.\n",
    "\n",
    "#### Stacking models on top of each other\n",
    "\n",
    "Next, another feature that emerges when you treat all models as probability distributions is that they can be easily stacked within each other. For example, if a mixture is just a probability distribution, then naturally you should be able to make a mixture Bayes classifier by dropping a `GeneralMixtureModel` into a `BayesClassifier` just as easily as a Gaussian Bayes classifier by dropping a `MultivariateGaussianDistribution` into the `BayesClassifier`."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 23,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "-4012.4121095570604\n",
      "-3904.723017794966\n"
     ]
    }
   ],
   "source": [
    "X = numpy.concatenate([numpy.random.normal((5, 1), 1, size=(200, 2)),\n",
    "                       numpy.random.normal((6, 4), 1, size=(200, 2)),\n",
    "                       numpy.random.normal((3, 5), 1, size=(350, 2)),\n",
    "                       numpy.random.normal((7, 6), 1, size=(250, 2))])\n",
    "\n",
    "y = numpy.zeros(1000)\n",
    "y[400:] = 1\n",
    "\n",
    "model = BayesClassifier.from_samples(MultivariateGaussianDistribution, X, y)\n",
    "print(model.log_probability(X).sum())\n",
    "\n",
    "\n",
    "d1 = GeneralMixtureModel.from_samples(MultivariateGaussianDistribution, 2, X[y == 0])\n",
    "d2 = GeneralMixtureModel.from_samples(MultivariateGaussianDistribution, 2, X[y == 1])\n",
    "model2 = BayesClassifier([d1, d2], [0.4, 0.6])\n",
    "print(model2.log_probability(X).sum())"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "In this case we build data that intentionally has 4 clusters, of which each class is composed of two of the clusters. A simple normal distribution is unlikely to capture this well, but a mixture model is built specifically to model distributions that are composed of multiple parts. We can see that the correspond log probability is much higher when we incorporate the mixture model in. There is an implementation detail that doesn't allow you yet to pass in a compositional model into the `from_samples` method quite yet, but in this case it is fairly simple to break up the data such that we build the model ourselves."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Speed\n",
    "\n",
    "pomegranate uses a Cython backend for the computationally intensive aspects of the calculation, both dramatically speeding up calculations and allowing for multithreading to be utilized.\n",
    "\n",
    "#### numpy\n",
    "\n",
    "pomegranate used to be consistently faster than numpy at fitting probability distributions to data, when compared to performing the same operations in numpy. However, due to consistent improvements in numpy, it is now a more complicated picture. For example, let's look at fitting a normal distribution to 1,000 samples."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 24,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "152 µs ± 0 ns per loop (mean ± std. dev. of 1 run, 1 loop each)\n",
      "336 µs ± 0 ns per loop (mean ± std. dev. of 1 run, 1 loop each)\n"
     ]
    }
   ],
   "source": [
    "X = numpy.random.normal(4, 1, size=1000)\n",
    "\n",
    "%timeit -n 1 -r 1 numpy.mean(X), numpy.std(X)\n",
    "%timeit -n 1 -r 1 NormalDistribution.from_samples(X)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "pomegranate appears to be a bit faster, but the total amount of time is negligble one way or another. If we increase the size of the data we're using to 10 million samples:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 25,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "52.9 ms ± 903 µs per loop (mean ± std. dev. of 7 runs, 10 loops each)\n",
      "67.8 ms ± 577 µs per loop (mean ± std. dev. of 7 runs, 10 loops each)\n"
     ]
    }
   ],
   "source": [
    "X = numpy.random.normal(4, 1, size=10000000)\n",
    "\n",
    "%timeit numpy.mean(X), numpy.std(X)\n",
    "%timeit NormalDistribution.from_samples(X)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "It looks like pomegranate is more comparable to numpy.\n",
    "\n",
    "Let's now look at fitting a multivariate Gaussian distribution. The calculation of a covariance matrix requires a dot product, which numpy accelerates using BLAS. pomegranate uses a Cython wrapper of BLAS and so can take advantage of those speed improvements. Let's look at fitting to one million data points with 3 dimensions."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 26,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "51.2 ms ± 838 µs per loop (mean ± std. dev. of 7 runs, 10 loops each)\n",
      "33.2 ms ± 247 µs per loop (mean ± std. dev. of 7 runs, 10 loops each)\n"
     ]
    }
   ],
   "source": [
    "X = numpy.random.normal(4, 1, size=(1000000, 3))\n",
    "\n",
    "%timeit numpy.mean(X, axis=0), numpy.cov(X, rowvar=False, ddof=0)\n",
    "%timeit MultivariateGaussianDistribution.from_samples(X)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "It looks like pomegranate is around the same speed here. However, if we fit to a 1000 dimensional sample rather than a 3 dimensional one:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 27,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "2.45 s ± 76.8 ms per loop (mean ± std. dev. of 7 runs, 1 loop each)\n",
      "4.99 s ± 612 ms per loop (mean ± std. dev. of 7 runs, 1 loop each)\n"
     ]
    }
   ],
   "source": [
    "X = numpy.random.normal(4, 1, size=(100000, 1000))\n",
    "\n",
    "%timeit numpy.mean(X, axis=0), numpy.cov(X, rowvar=False, ddof=0)\n",
    "%timeit MultivariateGaussianDistribution.from_samples(X)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now it looks like pomegranate is slower than numpy.\n",
    "\n",
    "The main take-away when compared to numpy is that pomegranate and numpy appear to perform similarly. As the samples become larger numpy becomes faster than pomegranate, but they're both within an order of magnitude of each other one way or another. If you're trying to do basic operations on a large amount of data, you may want to stick with using numpy."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### scipy\n",
    "\n",
    "scipy can be used to calculate probabilities of samples given a distribution. This corresponds to the `probability` and `log_probability` functions in pomegranate. Let's see how long it takes to calculate these probabilities in the two packages given a normal distrubution."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 29,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "581 ms ± 12.5 ms per loop (mean ± std. dev. of 7 runs, 1 loop each)\n",
      "47.2 ms ± 883 µs per loop (mean ± std. dev. of 7 runs, 10 loops each)\n",
      "\n",
      "logp difference: -3.990151116406437e-06\n"
     ]
    }
   ],
   "source": [
    "from scipy.stats import norm\n",
    "\n",
    "d = NormalDistribution(0, 1)\n",
    "x = numpy.random.normal(0, 1, size=(10000000,))\n",
    "\n",
    "%timeit norm.logpdf(x, 0, 1)\n",
    "%timeit NormalDistribution(0, 1).log_probability(x)\n",
    "\n",
    "print(\"\\nlogp difference: {}\".format((norm.logpdf(x, 0, 1) - NormalDistribution(0, 1).log_probability(x)).sum()))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Looks like it can be significantly faster. Let's also look at a large multivariate normal distribution with 2500 dimensions."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 30,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "3.39 s ± 25.1 ms per loop (mean ± std. dev. of 7 runs, 1 loop each)\n",
      "796 ms ± 6.07 ms per loop (mean ± std. dev. of 7 runs, 1 loop each)\n",
      "171 ms ± 1.5 ms per loop (mean ± std. dev. of 7 runs, 10 loops each)\n",
      "\n",
      "logp difference: 8.183596946764737e-07\n"
     ]
    }
   ],
   "source": [
    "from scipy.stats import multivariate_normal\n",
    "\n",
    "dim = 2500\n",
    "n = 1000\n",
    "\n",
    "mu = numpy.random.normal(6, 1, size=dim)\n",
    "cov = numpy.eye(dim)\n",
    "\n",
    "X = numpy.random.normal(8, 1, size=(n, dim))\n",
    "\n",
    "d = MultivariateGaussianDistribution(mu, cov)\n",
    "\n",
    "%timeit multivariate_normal.logpdf(X, mu, cov)\n",
    "%timeit MultivariateGaussianDistribution(mu, cov).log_probability(X)\n",
    "%timeit d.log_probability(X)\n",
    "\n",
    "print(\"\\nlogp difference: {}\".format((multivariate_normal.logpdf(X, mu, cov) - d.log_probability(X)).sum()))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "One of the reasons which pomegranate can be so fast at calculating log probabilities is that it is able to cache parts of the logpdf equation so that it doesn't need to do all of the calculations each time. For example, let's look at the Normal distribution pdf equation:\n",
    "\n",
    "\\begin{equation}\n",
    "P(X|\\mu, \\sigma) = \\frac{1}{\\sqrt{2\\pi}\\sigma} exp \\left( -\\frac{(x - \\mu)^{2}}{2\\sigma^{2}} \\right) \\\\\n",
    "\\end{equation}\n",
    "\n",
    "We can take the log of this to simplify it.\n",
    "\n",
    "\\begin{equation}\n",
    "logP(X|\\mu, \\sigma) = -\\log \\left(\\sqrt{2\\pi}\\sigma \\right) - \\frac{(x-\\mu)^{2}}{2\\sigma^{2}}\n",
    "\\end{equation}\n",
    "\n",
    "pomegranate speeds up this calculation by caching $-\\log(\\sqrt{2\\pi}\\sigma)$ and $2\\sigma^{2}$ when the object is created. This means that the equation is simplified to the following:\n",
    "\n",
    "\\begin{equation}\n",
    "logP(X|\\mu, \\sigma) = \\alpha - \\frac{(x - \\mu)^{2}}{\\beta}\n",
    "\\end{equation}\n",
    "\n",
    "We don't need to calculate any logs or exponentials here, just a difference, a multiplication, a division, and a subtraction."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### scikit-learn\n",
    "\n",
    "scikit-learn and pomegranate overlap when it comes to naive Bayes classifiers and mixture models. In pomegranate, both of these model types can be used with any distribution, allowing mixtures of exponentials or log-normals to be made just as easily as mixtures of Gaussians, whereas in scikit-learn only Gaussians or multinomials are allowed. Let's compare speed of the overlap."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 33,
   "metadata": {},
   "outputs": [
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "/Users/ksachdeva/Desktop/Dev/myoss/pomegranate/env/lib/python3.7/site-packages/sklearn/mixture/_base.py:267: ConvergenceWarning: Initialization 1 did not converge. Try different init parameters, or increase max_iter, tol or check for degenerate data.\n",
      "  % (init + 1), ConvergenceWarning)\n",
      "/Users/ksachdeva/Desktop/Dev/myoss/pomegranate/env/lib/python3.7/site-packages/sklearn/mixture/_base.py:267: ConvergenceWarning: Initialization 1 did not converge. Try different init parameters, or increase max_iter, tol or check for degenerate data.\n",
      "  % (init + 1), ConvergenceWarning)\n",
      "/Users/ksachdeva/Desktop/Dev/myoss/pomegranate/env/lib/python3.7/site-packages/sklearn/mixture/_base.py:267: ConvergenceWarning: Initialization 1 did not converge. Try different init parameters, or increase max_iter, tol or check for degenerate data.\n",
      "  % (init + 1), ConvergenceWarning)\n",
      "/Users/ksachdeva/Desktop/Dev/myoss/pomegranate/env/lib/python3.7/site-packages/sklearn/mixture/_base.py:267: ConvergenceWarning: Initialization 1 did not converge. Try different init parameters, or increase max_iter, tol or check for degenerate data.\n",
      "  % (init + 1), ConvergenceWarning)\n",
      "/Users/ksachdeva/Desktop/Dev/myoss/pomegranate/env/lib/python3.7/site-packages/sklearn/mixture/_base.py:267: ConvergenceWarning: Initialization 1 did not converge. Try different init parameters, or increase max_iter, tol or check for degenerate data.\n",
      "  % (init + 1), ConvergenceWarning)\n",
      "/Users/ksachdeva/Desktop/Dev/myoss/pomegranate/env/lib/python3.7/site-packages/sklearn/mixture/_base.py:267: ConvergenceWarning: Initialization 1 did not converge. Try different init parameters, or increase max_iter, tol or check for degenerate data.\n",
      "  % (init + 1), ConvergenceWarning)\n",
      "/Users/ksachdeva/Desktop/Dev/myoss/pomegranate/env/lib/python3.7/site-packages/sklearn/mixture/_base.py:267: ConvergenceWarning: Initialization 1 did not converge. Try different init parameters, or increase max_iter, tol or check for degenerate data.\n",
      "  % (init + 1), ConvergenceWarning)\n",
      "/Users/ksachdeva/Desktop/Dev/myoss/pomegranate/env/lib/python3.7/site-packages/sklearn/mixture/_base.py:267: ConvergenceWarning: Initialization 1 did not converge. Try different init parameters, or increase max_iter, tol or check for degenerate data.\n",
      "  % (init + 1), ConvergenceWarning)\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "1.79 s ± 160 ms per loop (mean ± std. dev. of 7 runs, 1 loop each)\n",
      "1.43 s ± 107 ms per loop (mean ± std. dev. of 7 runs, 1 loop each)\n"
     ]
    }
   ],
   "source": [
    "from sklearn.mixture import GaussianMixture\n",
    "\n",
    "X = numpy.random.normal(8, 1, size=(10000, 100))\n",
    "\n",
    "%timeit model1 = GaussianMixture(5, max_iter=10).fit(X)\n",
    "%timeit model2 = GeneralMixtureModel.from_samples(MultivariateGaussianDistribution, 5, X, max_iterations=10)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "It looks like the two are approximately the same speed on a single thread. Let's look at naive Bayes now."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 34,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "1.14 s ± 104 ms per loop (mean ± std. dev. of 7 runs, 1 loop each)\n",
      "1.37 s ± 10.5 ms per loop (mean ± std. dev. of 7 runs, 1 loop each)\n"
     ]
    }
   ],
   "source": [
    "from sklearn.naive_bayes import GaussianNB\n",
    "\n",
    "X = numpy.random.normal(8, 1, size=(100000, 500))\n",
    "X[:50000] += 1\n",
    "\n",
    "y = numpy.zeros(100000)\n",
    "y[:50000] = 1\n",
    "\n",
    "%timeit GaussianNB().fit(X, y)\n",
    "%timeit NaiveBayes.from_samples(NormalDistribution, X, y)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "It looks like scikit-learn is a bit faster when it comes to training a Gaussian naive Bayes model. \n",
    "\n",
    "Much like with the comparisons to numpy, if scikit-learn has something easily implemented, it's likely better to try to use their implementation. The goal of pomegranate is not to step on the feet of these other packages, but rather to provide similarly-fast implementations that extend to other probability distributions. For example, you can train a log normal naive Bayes in the following manner:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 35,
   "metadata": {},
   "outputs": [],
   "source": [
    "model = NaiveBayes.from_samples(LogNormalDistribution, X, y)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "No such functionality yet exists in scikit-learn to train naive Bayes models for arbitrary distributions."
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.7.4"
  },
  "toc": {
   "base_numbering": 1,
   "nav_menu": {},
   "number_sections": true,
   "sideBar": true,
   "skip_h1_title": false,
   "title_cell": "Table of Contents",
   "title_sidebar": "Contents",
   "toc_cell": false,
   "toc_position": {},
   "toc_section_display": true,
   "toc_window_display": false
  }
 },
 "nbformat": 4,
 "nbformat_minor": 1
}
